Implementation of logical query languages for databases
From MaRDI portal
Recommendations
Cited in
(51)- On compiling queries in recursive first-order databases
- scientific article; zbMATH DE number 1182730 (Why is no real title available?)
- Logic programming with sets
- Database query languages embedded in the typed lambda calculus
- scientific article; zbMATH DE number 4049159 (Why is no real title available?)
- A relational approach to logic programming: The extended Alexander method
- Partial evaluation of queries in deductive databases
- The generalized counting method for recursive logic queries
- Domain-independent formulas and databases
- Efficient model construction for Horn logic with VLog (system description)
- An improved depth-first control strategy for query-subquery nets in evaluating queries to Horn knowledge bases
- Answering atomic queries in indefinite deductive databases
- Translating relational queries into iterative programs
- A correction of the termination conditions of the Henschen-Naqvi technique
- Querying logical databases
- Data independent recursion in deductive databases
- Bounds in the propagation of selection into logic programs
- scientific article; zbMATH DE number 176241 (Why is no real title available?)
- On the top-down method of establishment of the deducibility in logical databases
- scientific article; zbMATH DE number 4053071 (Why is no real title available?)
- Magic sets revisited
- Recursive query processing in predicate-goal graph
- Controlling recursive inference
- scientific article; zbMATH DE number 4064544 (Why is no real title available?)
- scientific article; zbMATH DE number 62656 (Why is no real title available?)
- Abstract interpretation of database query languages
- Comparison of methods for logic-query implementation
- A logical query language for hypermedia systems
- A graph-based decomposition approach for recursive query processing
- A generalization of the differential approach to recursive query evaluation
- scientific article; zbMATH DE number 1416103 (Why is no real title available?)
- scientific article; zbMATH DE number 4094869 (Why is no real title available?)
- Recursive query processing: The power of logic
- How expressive is stratified aggregation?
- scientific article; zbMATH DE number 219227 (Why is no real title available?)
- On temporal logic versus Datalog
- On the convergence of query evaluation
- Integration of expert systems and database management systems. - An extended disjunctive normal form approach
- Deduction in non-Horn databases
- Operation-oriented query language approach for recursive queries. II: Prototype implementation and its integration with relational databases
- Binding propagation beyond the reach of rule/goal graphs
- Operation-oriented query language approach for recursive queries. I: Functional definition
- Translation of logic programs into functional fixpoint equations
- An algorithm to convert graphs into EDNF
- Fixpoint strategies for deductive databases
- Deriving constraints among argument sizes in logic programs
- The parallel complexity of single rule logic programs
- Permutation dependency in datalog programs
- Horn clause queries and generalizations
- scientific article; zbMATH DE number 4049156 (Why is no real title available?)
- scientific article; zbMATH DE number 4092827 (Why is no real title available?)
This page was built for publication: Implementation of logical query languages for databases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3691103)
