Design and implementation of ROCK & ROLL: A deductive object-oriented database system

This publication has 8 references indexed in Scilit:

• The living in a lattice rule language
  Data & Knowledge Engineering, 1993
• Approaches to deductive object-oriented databases
  Information and Software Technology, 1992
• Towards a deductive object-oriented database language
  Data & Knowledge Engineering, 1990
• On compile-time query optimization in deductive databases by means of static filtering
  ACM Transactions on Database Systems, 1990
• Deductive database theories
  The Knowledge Engineering Review, 1989
• Types and persistence in database programming languages
  ACM Computing Surveys, 1987
• Introduction to Mathematical Logic
  Published by Springer Nature ,1987
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976