On compiling queries in recursive first-order databases
Journal of the ACM (JACM)
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
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
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
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
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 logical language for data and knowledge bases
A logical language for data and knowledge bases
Efficient evaluation of right-, left-, and multi-linear rules
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
On the declarative and procedual semantics of logic programs
Journal of Automated Reasoning
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Recursive query processing: the power of logic
Theoretical Computer Science
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
Set constructors in a logic database language
Journal of Logic Programming
Journal of Logic Programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Communications of the ACM
Query evaluation techniques for large databases
ACM Computing Surveys (CSUR)
On the expressive power of logic programming languages with sets
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
The design and implementation of INGRES
ACM Transactions on Database Systems (TODS)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Query Optimization in Database Systems
ACM Computing Surveys (CSUR)
Data Structures and Algorithms
Data Structures and Algorithms
Access path selection in a relational database management system
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
The glue-nail deductive database system: design, implementation, and evaluation
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
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
Program Partition and Logic Program Analysis
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
A front end addition to deductive database systems is proposed to provide a multiparadigm programming environment for data intensive software development. The specification language for the whole system is chosen to be LDL or LPS. A stratified LDL program is partitioned into modules and the perfect modular models are introduced. The interface among modules is simple and clean. The modular semantics allow encapsulation and module reuse. Modules for set operations and for input/output may be implemented in procedural languages to improve performance or to utilize expertise of available programmers while modules for relations/deductions are programmed in SQL or LDL. The multiprogramming environment may increase the productivity of programmers, improve the quality and performance of software, and increase the available choices for the software engineer.