Logic and Databases: A Deductive Approach

This publication has 49 references indexed in Scilit:

• Structure and complexity of relational queries
  Journal of Computer and System Sciences, 1982
• Relational database
  Communications of the ACM, 1982
• A history and evaluation of System R
  Communications of the ACM, 1981
• A Formal System for Reasoning about Programs Accessing a Relational Database
  ACM Transactions on Programming Languages and Systems, 1980
• Non-monotonic logic I
  Artificial Intelligence, 1980
• Data models in database management
  Published by Association for Computing Machinery (ACM) ,1980
• Extending the database relational model to capture more meaning
  ACM Transactions on Database Systems, 1979
• Equivalences among Relational Expressions
  SIAM Journal on Computing, 1979
• The Unit Proof and the Input Proof in Theorem Proving
  Journal of the ACM, 1970
• A relational model of data for large shared data banks
  Communications of the ACM, 1970