On the implementation of a simple class of logic queries for databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Naive evaluation of recursively defined relations
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
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
On the evaluation strategy of EDUCE
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Prolog: a database query language for all seasons
Proceedings from the first international workshop on Expert database systems
Bounds on the propagation of selection into logic programs
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A generalization of the differential approach to recursive query evaluation
Journal of Logic Programming
Query optimization by simulated annealing
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
Optimization of large join queries
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A framework for testing safety and effective computability of extended datalog
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
The generalized counting method for recursive logic queries
Theoretical Computer Science - First International Conference on Database Theory, Rome, September 1986
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
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Object-oriented concepts, databases, and applications
Object-oriented concepts, databases, and applications
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Towards an open architecture for LDL
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Set constructors in a logic database language
Journal of Logic Programming
Rewriting of rules containing set terms in a logic data language LDL
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Optimizing existential datalog queries
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database updates in logic programming
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
PROLOG Database System
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Access path selection in a relational database management system
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Data abstraction, views and updates in RIGEL
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Making smalltalk a database system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Optimization in a Logic Based Language for Knowledge and Data Intensive Applications
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Optimizing the Rule-Data Interface in a KMS
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
Optimization of Nonrecursive Queries
VLDB '86 Proceedings of the 12th 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
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deductive databases: achievements and future directions
ACM SIGMOD Record - Directions for future database research & development
Next-generation database systems
Communications of the ACM
Extensions to Starburst: objects, types, functions, and rules
Communications of the ACM
Coordinating rule-based software processes with ESP
ACM Transactions on Software Engineering and Methodology (TOSEM)
The SEQUOIA 2000 storage benchmark
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Implementation of the CORAL deductive database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Efficient maintenance of rule-derived data through join pattern indexing
CIKM '93 Proceedings of the second international conference on Information and knowledge management
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
A distributed virtual machine to support software process
ACM SIGSOFT Software Engineering Notes
Perspectives on database theory
ACM SIGACT News
On implementing SchemaLog—a database programming language
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Assessing process-centered software engineering environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Belief reasoning in MLS deductive databases
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Design and Implementation of the ROL Deductive Object-Oriented Database System
Journal of Intelligent Information Systems
Nonmonotonic reasoning in LDL++
Logic-based artificial intelligence
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
The Integration of Rule Systems and Database Systems
IEEE Transactions on Knowledge and Data Engineering
A Knowledge Model For Unifying Deductive and Non-Deductive Heterogeneous Databases
IEEE Transactions on Knowledge and Data Engineering
Chain-Split Evaluation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
A Framework for Join Pattern Indexing in Intelligent Database Systems
IEEE Transactions on Knowledge and Data Engineering
A Logic Programming Framework for Modeling Temporal Objects
IEEE Transactions on Knowledge and Data Engineering
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning
IEEE Transactions on Knowledge and Data Engineering
Implementation of Tabled Evaluation with Delaying in Prolog
IEEE Transactions on Knowledge and Data Engineering
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
Data Management for Large Rule Systems
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
A Functional Programming Approach to Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
CORAL - Control, Relations and Logic
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Key Constraints and Monotonic Aggregates in Deductive Databases
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Query Processing in Embedded Control Programs
DBTel '01 Proceedings of the VLDB 2001 International Workshop on Databases in Telecommunications II
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
DrawCAD: using deductive object-relational databases in CAD
Software—Practice & Experience
The design and implementation of K: a high-level knowledge-base programming language of OSAM*.KBMS
The VLDB Journal — The International Journal on Very Large Data Bases
Data and knowledge in database systems: deductive databases
Handbook of data mining and knowledge discovery
A Logic Database System with Extended Functionality
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
SEDatalog: a set extension of datalog
Intelligent information processing II
Database query languages and functional logic programming
New Generation Computing
A Software Framework for Matchmaking Based on Semantic Web Technology
International Journal of Electronic Commerce
Data & Knowledge Engineering
A SQL database system for solving constraints
Proceedings of the 2nd PhD workshop on Information and knowledge management
A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract)
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Design and implementation of aggregate functions in the dlv system*
Theory and Practice of Logic Programming
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Logic programming approach to automata-based decision procedures
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Query processing in the ROL system
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Extensions to Starburst: objects, types, functions and rules
CASCON First Decade High Impact Papers
Xsb: Extending prolog with tabled logic programming
Theory and Practice of Logic Programming - Prolog Systems
Dedalus: datalog in time and space
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Hi-index | 0.03 |
The logic data language (LDL) system provides a declarative logic-based language and integrates relational database and logic programming technologies so as to support advanced data and knowledge-based applications. A comprehensive overview of the system and a description of LDL language and the compilation techniques employed to translate LDL queries into target query execution plans on the stored data are presented. The architecture and runtime environment of the system and the optimization techniques employed in order to improve the performance and assure the safety of the compiled queries are given. The experience gained so far with the system and application areas where the LDL approach appears to be particularly effective are discussed.