Decidability and expressiveness aspects of logic queries
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A translation language complete for database update and specification
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Logical diagnosis of LDL programs
Logic programming
Validation, verification and test of knowledge-based systems
Validation, verification and test of knowledge-based systems
Constraints and redundancy in datalog
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Equivalence, query-reachability and satisfiability in Datalog extensions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Equivalence of datalog queries is undecidable
Journal of Logic Programming
Design and implementation of the glue-nail database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
A compositional semantics for logic programs
FGCS'921 Selected papers of the conference on Fifth generation computer systems
Irrelevance reasoning in knowledge-based systems
Irrelevance reasoning in knowledge-based systems
PREPARE: A Tool for Knowledge Base Verification
IEEE Transactions on Knowledge and Data Engineering
Deterministic Semantics of Set-Oriented Update Sequences
Proceedings of the Ninth International Conference on Data Engineering
Modelling Database Updates with Constraint Logic Programming
Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects: Modelling Database Dynamics
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
E-DEVICE: An Extensible Active Knowledge Base System with Multiple Rule Type Support
IEEE Transactions on Knowledge and Data Engineering
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
Inheritance in a Deductive Object Database Language with Updates
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Enhancing the expressive power of the U-Datalog language
Theory and Practice of Logic Programming
Hi-index | 0.00 |