Prolog-based meta-rules for relational database representation and manipulation

This publication has 31 references indexed in Scilit:

• Logic Grammars
  Published by Springer Nature ,1989
• Alpha: an extension of relational algebra to express a class of recursive queries
  IEEE Transactions on Software Engineering, 1988
• Logic approaches for deductive databases
  IEEE Expert, 1988
• A study of transitive closure as a recursion mechanism
  Published by Association for Computing Machinery (ACM) ,1987
• Implementation of logical query languages for databases
  ACM Transactions on Database Systems, 1985
• An enhanced inference mechanism for generating relational algebra queries
  Published by Association for Computing Machinery (ACM) ,1984
• Formal restructuring functions for hierarchical data bases
  International Journal of Parallel Programming, 1983
• Formalization in program development
  BIT Numerical Mathematics, 1982
• On database systems development through logic
  ACM Transactions on Database Systems, 1982
• Restructuring for large databases
  ACM Transactions on Database Systems, 1976