Database theory—past and future

This publication has 21 references indexed in Scilit:

• A logic-programming/object-oriented cocktail
  ACM SIGMOD Record, 1986
• Database states and their tableaux
  ACM Transactions on Database Systems, 1984
• Degrees of acyclicity for hypergraphs and relational database schemes
  Journal of the ACM, 1983
• A characterization of globally consistent databases and their correct access paths
  ACM Transactions on Database Systems, 1983
• Consistency in Hierarchical Database Systems
  Journal of the ACM, 1980
• Computational problems related to the design of normal form relational schemas
  ACM Transactions on Database Systems, 1979
• Synthesizing third normal form relations from functional dependencies
  ACM Transactions on Database Systems, 1976
• The notions of consistency and predicate locks in a database system
  Communications of the ACM, 1976
• The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
  Journal of the ACM, 1969
• An information algebra
  Communications of the ACM, 1962