IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
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
ILOG: declarative creation and manipulation of object identifiers
Proceedings of the sixteenth international conference on Very large databases
A formal approach to object-oriented databases
Data & Knowledge Engineering
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
Set constructors in a logic database language
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
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
A logic for programming with complex objects
PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
IEEE Transactions on Knowledge and Data Engineering
COMPLEX: An Object-Oriented Logic Programming System
IEEE Transactions on Knowledge and Data Engineering
Well-Founded Semantics for Deductive Object-Oriented Database Languages
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
Coral++: Adding Object-Orientation to a Logic Database Language
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
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 |
Deductive object-oriented databases are intended to combine the best of the deductive and object-oriented approaches. However, some important object-oriented features are not properly supported in the existing proposals. This paper proposes a novel deductive language that supports important structurally object-oriented features such as object identity, complex objects, typing, classes, class hierarchies, multiple property inheritance with overriding, conflict-handling, and blocking, and schema definitions in a uniform framework. The language effectively integrates useful features in deductive and object-oriented database languages. The main novel feature is the logical semantics that cleanly accounts for those structurally object-oriented features that are missing in object-oriented database languages. Therefore it establishes a theoretical foundation for a practical deductive object-oriented database system for advanced database applications.