Evaluation of database recursive logic programs as recurrent function series
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Logic and databases: a response
ACM SIGPLAN Notices
Communicating control knowledge to a deductive database system
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Syntactical characterization of a subset of domain-independent formulas
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
An optimizing prolog front-end to a relational query system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
How Does an Expert System Get its Data? (Extended Abstract)
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Processing English with a Generalized Phrase Structure Grammar
ACL '82 Proceedings of the 20th annual meeting on Association for Computational Linguistics
An informal approach to formal specifications
ACM SIGMOD Record
An informal approach to formal specifications
ACM SIGMOD Record
Relational database: a practical foundation for productivity
ACM Turing award lectures
Logic programming languages for databases and the web
A 25-year perspective on logic programming
A UNIVERSAL MODEL FOR NON-PROCEDURAL DATABASE LANGUAGES
Fundamenta Informaticae
Logical foundations of continuous query languages for data streams
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
| Hi-index | 0.00 |