THE CONNECTION OF STATIC CONSTRAINTS WITH DETERMINISM AND BOUNDEDNESS OF DYNAMIC SPECIFICATIONS

This publication has 11 references indexed in Scilit:

• A translation language complete for database update and specification
  Published by Association for Computing Machinery (ACM) ,1987
• Transactions and integrity constraints
  Published by Association for Computing Machinery (ACM) ,1985
• Relative information capacity of simple relational database schemata
  Published by Association for Computing Machinery (ACM) ,1984
• Inclusion dependencies and their interaction with functional dependencies
  Published by Association for Computing Machinery (ACM) ,1982
• Programming primitives for database languages
  Published by Association for Computing Machinery (ACM) ,1981
• Computable queries for relational data bases
  Journal of Computer and System Sciences, 1980
• A language facility for designing database-intensive applications
  ACM Transactions on Database Systems, 1980
• Universality of data retrieval languages
  Published by Association for Computing Machinery (ACM) ,1979
• On the completeness of query languages for relational data bases
  Published by Springer Nature ,1978
• A relational model of data for large shared data banks
  Communications of the ACM, 1970