Foundations of logic programming
Foundations of logic programming
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
A calculus for complex objects
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
On the evaluation strategy of EDUCE
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Logic programming and databases
Proceedings from the first international workshop on Expert database systems
Prolog: a database query language for all seasons
Proceedings from the first international workshop on Expert database systems
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
A Unification Algorithm for Associative-Commutative Functions
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Communications of the ACM
Implementation of PROLOG
Advances in Data Base Theory
Logic and Data Bases
An optimizing prolog front-end to a relational query system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Design Overview of the NAIL! System
Proceedings of the Third International Conference on Logic Programming
Optimizing the Rule-Data Interface in a KMS
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Sets and negation in a logic data base language (LDL1)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A workload characterization pipeline for models of parallel systems
SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Efficient tests for top-down termination of logical rules
Journal of the ACM (JACM)
Data functions, datalog and negation
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
An implementation model for reasoning with complex objects
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
On compile-time query optimization in deductive databases by means of static filtering
ACM Transactions on Database Systems (TODS)
The Object-Oriented Functional Data Language
IEEE Transactions on Software Engineering
Making deductive databases a practical technology: a step forward
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Safety and translation of relational calculus
ACM Transactions on Database Systems (TODS)
Nested relation based database knowledge representation
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Prolog-Based Meta-rules for Relational Database Representation and Manipulation
IEEE Transactions on Software Engineering
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
Implementation of the CORAL deductive database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Predictive dynamic load balancing of parallel and distributed rule and query processing
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Semantics for update rule programs and implementation in a relational database management system
ACM Transactions on Database Systems (TODS)
Safe query languages for constraint databases
ACM Transactions on Database Systems (TODS)
Research directions in object-oriented database systems
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query size estimation by adaptive sampling (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
GraphLog: a visual formalism for real life recursion
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Rewriting of rules containing set terms in a logic data language LDL
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Object-oriented database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database updates in logic programming
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Refining Restriction Enzyme Genome Maps
Constraints
Reasoning about Qualitative Spatial Relationships
Journal of Automated Reasoning
DECLARE and SDS: early efforts to commercialize deductive database technology
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
Prototyping Bubba, A Highly Parallel Database System
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Extensions to Query Languages for Graph Traversal Problems
IEEE Transactions on Knowledge and Data Engineering
A FAD for Data Intensive Applications
IEEE Transactions on Knowledge and Data Engineering
Outer Joins and Filters for Instantiating Objects from Relational Databases Through Views
IEEE Transactions on Knowledge and Data Engineering
Mapping Datalog Program Execution to Networks of Processors
IEEE Transactions on Knowledge and Data Engineering
LDL: A Technology for the Realization of Tightly Coupled Expert Database Systems
IEEE Expert: Intelligent Systems and Their Applications
Logic Approaches for Deductive Databases
IEEE Expert: Intelligent Systems and Their Applications
Optimizing the Rule-Data Interface in a KMS
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
FAD, a Powerful and Simple Database Language
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Towards a Real Horn Clause Language
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Reasoning About Spatial Relationships in Picture Retrieval Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Data & Knowledge Engineering
Derived types in semantic association discovery
Journal of Intelligent Information Systems
Deductive spreadsheets using tabled logic programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Hi-index | 0.00 |