Magic sets and other strange ways to implement logic programs (extended abstract)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Logic programming and databases
Logic programming and databases
Integrating object-oriented data modelling with a rule-based programming paradigm
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Journal of Logic Programming
LLO: an object-oriented deductive language with methods and method inheritance
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Design and implementation of the glue-nail database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
A logic for programming with complex objects
PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
On the declarative and procedural semantics of deductive object-oriented systems
Journal of Intelligent Information Systems - Special issue: deductive and object-oriented databases
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
ROL: a deductive object base language
Information Systems
An Overview of the Rule-Based Object Language
Journal of Intelligent Information Systems
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
The glue-nail deductive database system: design, implementation, and evaluation
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
The aditi deductive database system
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
IEEE Transactions on Knowledge and Data Engineering
FLORID: A Prototype for F-Logic
ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
Design Overview of the Aditi Deductive Database System
Proceedings of the Seventh International Conference on Data Engineering
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
Towards a Real Horn Clause Language
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Coral++: Adding Object-Orientation to a Logic Database Language
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
The Deductive Database System LOLA
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
ROL2: A Real Deductive Object-Oriented Database Language
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Incorporating Methods and Encapsulation into Deductive Object-Oriented Database Languages
DEXA '98 Proceedings of the 9th International Conference on Database and Expert Systems Applications
DO2: Deductive Object-Oriented Database System
DEXA '98 Proceedings of the 9th International Conference on Database and Expert Systems Applications
Design and Implementation of the Relationlog Deductive Database System
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Overview of the ROL2 Deductive Object-Oriented Database System
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Design and Implementation of the OLOG Deductive Object-Oriented Database Management System
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
| Hi-index | 0.00 |
ROL is a deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language for defining, manipulating and querying databases, which integrates important features of both deductive databases and object-oriented databases. It supports object identity, complex objects, classes, class hierarchies, multiple inheritance with overriding and blocking, and schema definition. It also supports structured values such as functor objects and sets, treating them as first class citizens, and providing powerful mechanisms for representing both partial and complete information about sets. This paper describes its design and implementation. An important novel feature of the implementation is that it combines top-down and bottom-up evaluation strategies and automatically selects a strategy based on the nature of the query and data in the database.