Login: A logic programming language with built-in inheritance
Journal of Logic Programming
Applications of circumscription to formalizing common-sense knowledge
Readings in nonmonotonic reasoning
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Data functions, datalog and negation
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
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
A rule-based language with functions and sets
ACM Transactions on Database Systems (TODS)
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
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards a Logical-Object Oriented Programming Language for Databases
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A polymorphic calculus for views and object sharing (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An annotated bibliography on active databases (short version)
ACM SIGMOD Record
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Context interchange: new features and formalisms for the intelligent integration of information
ACM Transactions on Information Systems (TOIS)
A logical foundation for deductive object-oriented databases
ACM Transactions on Database Systems (TODS)
Annals of Mathematics and Artificial Intelligence
Implementing Abstract Objects with Inheritance in Datalogneg
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
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
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Overview of the ROL2 Deductive Object-Oriented Database System
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
Fundamenta Informaticae
Type inference for datalog and its application to query optimisation
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
.QL: Object-Oriented Queries Made Easy
Generative and Transformational Techniques in Software Engineering II
Inheritance and Polymorphism in Datalog: an experience in Model Management
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Type inference for datalog with complex type hierarchies
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantic query optimization in the presence of types
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Representation and reasoning about changing semantics in heterogeneous data sources
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
Inheritance in rule-based frame systems: semantics and inference
Journal on Data Semantics VII
Polymorphism in datalog and inheritance in a metamodel
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
Fundamenta Informaticae
| Hi-index | 0.00 |
We show how classical datalog semantics can be used directly and very simply to provide semantics to a syntactic extension of datalog with methods, classes, inheritance, overloading and late binding. Several approaches to resolution are considered, implemented in the model, and formally compared. They range from resolution in C++ style to original kinds of resolution suggested by the declarative nature of the language. We show connections to view specification and a further extension allowing runtime derivation of the class hierarchy.