A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
The role of frame-based representation in reasoning
Communications of the ACM
BAROQUE: a browser for relational databases
ACM Transactions on Information Systems (TOIS)
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
The mathematics of inheritance systems
The mathematics of inheritance systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Development of an object-oriented DBMS
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Readings in nonmonotonic reasoning
O2, an object-oriented data model
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Modeling inheritance and genericity in object-oriented databases
Lecture notes in computer science on ICDT '88
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Using powerdomains to generalize relational databases
Theoretical Computer Science
Object-oriented database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A relational model of data for large shared data banks
Communications of the ACM
A new approach to database logic
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Multimedia Information Management in an Object-Oriented Database System
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
Extended Algebra and Calculus for ~1NF Relational Databases
Extended Algebra and Calculus for ~1NF Relational Databases
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
On the equivalence of database restructurings involving object identifiers (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
New hope on data models and types: report of an NSF-INRIA workshop
ACM SIGMOD Record - Directions for future database research & development
Deductive databases: achievements and future directions
ACM SIGMOD Record - Directions for future database research & development
DOODLE: a visual language for object-oriented databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Querying object-oriented databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
New data models and languages—the challenge
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
ACM Transactions on Database Systems (TODS)
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
A logical semantics for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Towards a unified visual database access
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Interoperable query processing with multiple heterogeneous knowledge servers
CIKM '93 Proceedings of the second international conference on Information and knowledge management
ERC++: a model based on object and logic paradigms
CIKM '93 Proceedings of the second international conference on Information and knowledge management
ACM Transactions on Database Systems (TODS)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A query language and optimization techniques for unstructured data
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Optimal unification of bound simple set-terms
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
The Context Interchange mediator prototype
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
The TSIMMIS Approach to Mediation: Data Models and Languages
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
A formal basis for schema analysis of semantic database update semantics
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Object identity as a query language primitive
Journal of the ACM (JACM)
An efficient method for checking object-oriented database schema correctness
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
A graph-oriented object database model
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
LPL++: object programming language with built-in inheritance through unification
ACM SIGMIS Database
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
RQL: a declarative query language for RDF
Proceedings of the 11th international conference on World Wide Web
Semantic extensions of XML for advanced applications
ITVE '01 Proceedings of the workshop on Information technology for virtual enterprises
Correspondence and translation for heterogeneous data
Theoretical Computer Science
Computational aspects of the FLBC framework
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Decomposition of object-oriented database schemas
Annals of Mathematics and Artificial Intelligence
ACM SIGMOD Record
A pattern-based object calculus
The VLDB Journal — The International Journal on Very Large Data Bases
COMPLEX: An Object-Oriented Logic Programming System
IEEE Transactions on Knowledge and Data Engineering
A Deductive Object-Oriented Database System for Situated Inference in Law
IEEE Transactions on Knowledge and Data Engineering
A Logic Programming Framework for Modeling Temporal Objects
IEEE Transactions on Knowledge and Data Engineering
On Modeling Cost Functions for Object-Oriented Databases
IEEE Transactions on Knowledge and Data Engineering
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning
IEEE Transactions on Knowledge and Data Engineering
A Graphical Query Language: VISUAL and Its Query Processing
IEEE Transactions on Knowledge and Data Engineering
Deductive Entity Relationship Modeling
IEEE Transactions on Knowledge and Data Engineering
Updates in a Rule-Based Language for Objects
VLDB '92 Proceedings of the 18th 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
An Effective Deductive Object-Oriented Database Through Language Integration
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Describing and Using Query Capabilities of Heterogeneous Sources
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Typed Sets as a Basis for Object-Oriented Database Schemas
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
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
Domain-Specific Metadata a Key for Building Semantically-Rich Schema Models
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
The VLDB Journal — The International Journal on Very Large Data Bases
Querying the Semantic Web with RQL
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
IEEE Transactions on Knowledge and Data Engineering
XPath-logic and XPathLog: A logic-programming style XML data manipulation language
Theory and Practice of Logic Programming
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
Relational languages for metadata integration
ACM Transactions on Database Systems (TODS)
Containment of conjunctive object meta-queries
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Theory and Practice of Logic Programming
An overview of knowledge‐based configuration
AI Communications
Approaches for semantic interoperability between domain ontologies
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
Information Sciences: an International Journal
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
A typed higher-order calculus for querying XML databases
ADC '08 Proceedings of the nineteenth conference on Australasian database - Volume 75
Integrating and querying distributed XML data via XLink
Information Systems
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Conceptual Modeling: Foundations and Applications
An Active Domain Node Architecture for the Semantic Web
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
On formalization of object model by unifying intensional and extensional representations
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
AWIC'03 Proceedings of the 1st international Atlantic web intelligence conference on Advances in web intelligence
The rule markup language: RDF-XML data model, XML schema hierarchy, and XSL transformations
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Evolution and reactivity in the semantic web
Semantic techniques for the web
Improved knowledge management through first-order logic in engineering design ontologies
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Data cleaning and query answering with matching dependencies and matching functions
Proceedings of the 14th International Conference on Database Theory
Interoperability Services for Models and Ontologies
Proceedings of the 2011 conference on Databases and Information Systems VI: Selected Papers from the Ninth International Baltic Conference, DB&IS 2010
Pythia: compositional meaning construction for ontology-based question answering on the semantic web
NLDB'11 Proceedings of the 16th international conference on Natural language processing and information systems
Kuaba ontology: design rationale representation and reuse in model-based designs
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Implementation of UNIDOOR, a deductive object-oriented database system
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
An ECA engine for deploying heterogeneous component languages in the semantic web
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Inheritance in rule-based frame systems: semantics and inference
Journal on Data Semantics VII
Context dissemination and aggregation for ambient networks: jini based prototype
EuroSSC'06 Proceedings of the First European conference on Smart Sensing and Context
Active rules in the semantic web: dealing with language heterogeneity
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
Hi-index | 0.04 |
We propose a database logic which accounts in a clean declarative fashion for most of the “object-oriented” features such as object identity, complex objects, inheritance, methods, etc. Furthermore, database schema is part of the object language, which allows the user to browse schema and data using the same declarative formalism. The proposed logic has a formal semantics and a sound and complete resolution-based proof procedure, which makes it also computationally attractive.