GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
The art of Prolog: advanced programming techniques
The art of Prolog: advanced programming techniques
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
Design overview of the NAIL] system
Proceedings on Third international conference on logic programming
A new normal form for nested relations
ACM Transactions on Database Systems (TODS)
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
An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Development of an object-oriented DBMS
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
SQL/NF: a query language for ¬ 1NF relational databases
Information Systems
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
The early years of logic programming
Communications of the ACM
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Extended algebra and calculus for nested relational databases
ACM Transactions on Database Systems (TODS)
A data model and query language for EXODUS
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Modeling class hierarchies with contradictions
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Lecture notes in computer science on ICDT '88
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
A logic-based language for database updates
Foundations of deductive databases and logic programming
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
A recursive algebra and query optimization for nested relations
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Declarative expression of deductive database updates
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Bottom-up beats top-down for datalog
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Hypothetical datalog negation and linear recursion
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Journal of Computer and System Sciences
Logic programming and databases
Logic programming and databases
Extended stable semantics for normal and disjunctive programs
Logic programming
Intensional updates: abduction via deduction
Logic programming
The O2 database programming language
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Database updates through abduction
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
A rule-based language with functions and sets
ACM Transactions on Database Systems (TODS)
Hypothetical datalog: complexity and expressibility
Theoretical Computer Science
Set constructors in a logic database language
Journal of Logic Programming
Journal of Logic Programming
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
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
Nested relation based database knowledge representation
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)
Communications of the ACM
Introduction to object-oriented databases
Introduction to object-oriented databases
Paraconsistent disjunctive deductive databases
Theoretical Computer Science
The impact of logic programming on databases
Communications of the ACM
Database updates in the event calculus
Journal of Logic Programming
Implementation of subset-equational programs
Journal of Logic Programming
ACM Transactions on Database Systems (TODS)
The LIVING IN A LATTICE rule language
Data & Knowledge Engineering
Semantics for null extended nested relations
ACM Transactions on Database Systems (TODS)
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
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
The alternating fixpoint of logic programs with negation
PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The Go¨del programming language
The Go¨del programming language
An introduction to LIFE-programming with logic, inheritance, functions, and equations
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
LogicBase: a deductive database system prototype
CIKM '94 Proceedings of the third international conference on Information and knowledge management
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Modular stratification and magic sets for Datalog programs with negation
Journal of the ACM (JACM)
ConceptBase—a deductive object base for meta data management
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)
Communications of the ACM
ACM Transactions on Database Systems (TODS)
ROL: a deductive object base language
Information Systems
Towards practical constraint databases (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Consistency-motivated reason maintenance in hypothetical reasoning
New Generation Computing
An Overview of the Rule-Based Object Language
Journal of Intelligent Information Systems
Database updates in logic programming
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
A relational model of data for large shared data banks
Communications of the ACM
Applications of Logic Databases
Applications of Logic Databases
Principles of Database Systems
Principles of Database Systems
First-Order Dynamic Logic
Object Database Standard: ODMG-93, Release 1.2
Object Database Standard: ODMG-93, Release 1.2
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Logic and Data Bases
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
DECLARE and SDS: early efforts to commercialize deductive database technology
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
Fibonacci: a programming language for object databases
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
IEEE Transactions on Knowledge and Data Engineering
Object-Oriented Databases: Definition and Research Directions
IEEE Transactions on Knowledge and Data Engineering
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Papers from the Workshop ``Theory and Applications of Nested Relations and Complex Objects' on Nested Relations and Complex Objects
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
FLORID: A Prototype for F-Logic
ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
A Suitable Algorithm for Computing Partial Transitive Closures in Databases
Proceedings of the Sixth International Conference on Data Engineering
Semantics of Disjunctive Deductive Databases
ICDT '92 Proceedings of the 4th International Conference on Database Theory
ROL: A Prototype for Deductive and Object-Oriented Databases (Demo)
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
Disjunctive Deductive Databases
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
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
Efficient Transitive Closure Algorithms
VLDB '88 Proceedings of the 14th 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
Toward Practical Constraint Databases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
XSB: A System for Effciently Computing WFS
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
LOLA - A Logic Language for Deductive Databases and its Implementation
Proceedings of the Second International Symposium on Database Systems for Advanced Applications
Database Programming in Transaction Logic
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Minimizing Indefinite Information in Disjunctive Deductive Databases
ICDT '92 Proceedings of the 4th International Conference on Database Theory
Design and Implementation of the Relationlog Deductive Database System
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Theory of Relational Databases
Theory of Relational Databases
Extending Datalog with Declarative Updates
Journal of Intelligent Information Systems
XML Declarative Description: A Language for the Semantic Web
IEEE Intelligent Systems
A Data Model for XML Databases
WI '01 Proceedings of the First Asia-Pacific Conference on Web Intelligence: Research and Development
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
OLOG: A Deductive Object Database Language
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies 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
Multidimensional data model and query language for informetrics
Journal of the American Society for Information Science and Technology
IFOOD: An Intelligent Fuzzy Object-Oriented Database Architecture
IEEE Transactions on Knowledge and Data Engineering
A data model for XML databases
Journal of Intelligent Information Systems - Special issue on web intelligence
Advanced query language for manipulating complex entities
Information Processing and Management: an International Journal
PSE: An Object-Oriented Representation for Modeling and Managing Part-of Relationships
Journal of Intelligent Information Systems
Database query languages and functional logic programming
New Generation Computing
Linear tabling strategies and optimizations
Theory and Practice of Logic Programming
Modeling and querying fuzzy spatiotemporal databases
Information Sciences: an International Journal
High-Level Interaction with Relational Databases in Logic Programming
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Fuzzy Querying in Intelligent Information Systems
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Derived types in semantic association discovery
Journal of Intelligent Information Systems
An alternative high-level approach to interaction with databases
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
tolog – a topic maps query language
TMRA'05 Proceedings of the First international conference on Charting the Topic Maps Research and Applications Landscape
Case study: The furniture company: deductive databases and the scheduling problem
International Journal of Information Management: The Journal for Information Professionals
| Hi-index | 0.00 |
Deductive databases result from the integration of relational database and logic programming techniques. However, significant problems remain inherent in this simple synthesis from the language point of view. In this paper, we discuss these problems from four different aspects: complex values, object orientation, higher-orderness, and updates. In each case, we examine four typical languages that address the corresponding issues.