Safety of datalog queries over infinite databases

This publication has 19 references indexed in Scilit:

• SYGRAF: implementing logic programs in a database style
  IEEE Transactions on Software Engineering, 1988
• A framework for testing safety and effective computability of extended datalog
  Published by Association for Computing Machinery (ACM) ,1988
• Data functions, datalog and negation
  Published by Association for Computing Machinery (ACM) ,1988
• ON SAFETY, DOMAIN INDEPENDENCE, AND CAPTURABILITY OF DATABASE QUERIES* (Preliminary Report)*Research sponsored in part by the NSF grant DCR-8603676.
  Published by Elsevier ,1988
• Implementation of logical query languages for databases
  ACM Transactions on Database Systems, 1985
• On computing restricted projections of representative instances
  Published by Association for Computing Machinery (ACM) ,1985
• On the foundations of the universal relation model
  ACM Transactions on Database Systems, 1984
• On compiling queries in recursive first-order databases
  Journal of the ACM, 1984
• Weakly Definable Relations and Special Automata
  Published by Elsevier ,1970
• Generalized finite automata theory with an application to a decision problem of second-order logic
  Theory of Computing Systems, 1968