Logic for problem-solving
Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
Office Information Systems and Computer Science
ACM Computing Surveys (CSUR)
Abstract data types and software validation
Communications of the ACM
A very high level programming language for data processing applications
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
Logic and Data Bases
SEQUEL: A structured English query language
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
Final report of the ANSI/X3/SPARC DBS-SG relational database task group
ACM SIGMOD Record
A rule-based object/task modelling approach
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Hi-index | 0.00 |
The relational data model (RDM) provides a powerful basis for high level language constructs that are used in representing structural (static) and behavioural (dynamic) properties of data intensive applications. A fundamental class of semantic integrity constraints, called interrelational constraints, cannot adequately be represented by structural or behavioural constructs alone. The required structural concept is provided directly by the RDM, but a complementary behavioural concept must be added. The language design issues concern a behavioural concept, called an action skeleton, and its integration with the structural concept. An action skeleton enforces a disciplined design and implementation of database transactions that maintain interrelational constraints. Another design issue concerns the use of syntax to constrain design and implementation choices.