Foundations of logic programming
Foundations of logic programming
Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
The relational model with relation-valued attributes
Information Systems
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
A logic-programming/object-oriented cocktail
ACM SIGMOD Record
Database theory—past and future
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Perspectives in deductive databases
Journal of Logic Programming
Contexts and metamessages in object-oriented database programming language design
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Data functions, datalog and negation
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Classification of recursive formulas in deductive databases
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A data model and query language for EXODUS
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A logical language for data and knowledge bases
A logical language for data and knowledge bases
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
Rules for implementing very large knowledge base systems
ACM SIGMOD Record
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
Journal of Computer and System Sciences
Object-oriented database systems: the next miles of the marathon
Information Systems - Knowledge engineering
Logic programming and databases
Logic programming and databases
The O2 database programming language
VLDB '89 Proceedings of the 15th international conference on Very large data bases
A graph-oriented object model for database end-user interfaces
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
IDLOG: extending the expressive power of deductive database languages
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Computational objects in object-oriented data models
Proceedings of the second international workshop on Database programming languages
HiLog as a platform for database languages
Proceedings of the second international workshop on Database programming languages
Towards a deductive object-oriented database language
Data & Knowledge Engineering
RELOOP, an algebra based query language for an object-oriented database system
Data & Knowledge Engineering
A formal approach to object-oriented databases
Data & Knowledge Engineering
SIGMOD '90 Proceedings of the 1990 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
On rules, procedure, caching and views in data base systems
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)
Towards a semantic view of an extended entity-relationship model
ACM Transactions on Database Systems (TODS)
Classifying object-oriented query results in a class/type lattice (extended abstract)
MFDBS 91 Proceedings of the 3rd symposium on Mathematical fundamentals of database and knowledge base systems
On the relationship between well-founded and stable partial models
MFDBS 91 Proceedings of the 3rd symposium on Mathematical fundamentals of database and knowledge base systems
Consistency and non-determinism in a database programming language
MFDBS 91 Proceedings of the 3rd symposium on Mathematical fundamentals of database and knowledge base systems
The KIWIS knowledge base management system
CAiSE '91 Proceedings of the third international conference on Advanced information systems engineering
Logic and databases: an assessment
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Drawing updates from derivations
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Set constructors in a logic database language
Journal of Logic Programming
Distributed logic programming for artificial intelligence
AI Communications
A graph-oriented object database model
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the expressive power of logic programming languages with sets
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
A data modeling methodology for the design and implementation of information systems
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
A relational model of data for large shared data banks
Communications of the ACM
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
The Implementation of POSTGRES
IEEE Transactions on Knowledge and Data Engineering
Object-Oriented Databases: Definition and Research Directions
IEEE Transactions on Knowledge and Data Engineering
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
COL: A Logic-Based Language for Complex Objects
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
ICDT '88 Proceedings of the 2nd International Conference on Database Theory
Designing A Generalized NF2 Model with an SQL-Type Language Interface
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Modelling Non Deterministic Queries and Updates in Deductive Databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
ILOG: Declarative Creation and Manipulation of Object Identifiers
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Objects and their Specification
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
A Logical Basis for Object Oriented Programming
JELIA '90 Proceedings of the European Workshop on Logics in AI
A Data Model for Complex Objects Based on a Semantic Database Model and Nested Relations
Papers from the Workshop ``Theory and Applications of Nested Relations and Complex Objects' on Nested Relations and Complex Objects
A model of object-identities and values
A model of object-identities and values
Logical Foundations of Object-Oriented and Frame-Based Languages
Logical Foundations of Object-Oriented and Frame-Based Languages
Hi-index | 0.00 |
This note tries to briefly survey research activities and results on the integration of object-oriented concepts and deductive database languages.