A time bound on the materialization of some recursively defined views

DOI10.1007/BF01840452MaRDI QIDQ578941zbMATH OpenFDO

Authors Yannis E. Ioannidis

Publication date 1986

Published in Algorithmica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01840452

zbMATH Keywords

query processingdeductive databasesHorn clausesrecursively defined relationsuniformly bounded recursion

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Data structures (68P05) Computability and recursion theory (03D99)

Recommendations

• Data independent recursion in deductive databases
• scientific article; zbMATH DE number 4080889
• scientific article; zbMATH DE number 4106311
• scientific article; zbMATH DE number 3982568
• On recursive axioms in deductive databases

Cites work

• scientific article; zbMATH DE number 3874667 (Why is no real title available?)
• scientific article; zbMATH DE number 3179521 (Why is no real title available?)
• scientific article; zbMATH DE number 3727583 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• A relational model of data for large shared data banks
• Equivalences Among Relational Expressions with the Union and Difference Operators
• Equivalences among Relational Expressions
• Graph theory with applications
• On compiling queries in recursive first-order databases
• On recursive axioms in deductive databases

Cited in

(9)

• A semantic approach to optimize linear datalog programs
• scientific article; zbMATH DE number 4080889 (Why is no real title available?)
• Data independent recursion in deductive databases
• Recursive query processing in predicate-goal graph
• On recursive axioms in deductive databases
• A simple characterization of uniform boundedness for a class of recursions
• Nonrecursive incremental evaluation of Datalog queries
• scientific article; zbMATH DE number 4092827 (Why is no real title available?)
• Recursively indefinite databases

Describes a project that uses

Uses Software

• INGRES

This page was built for publication: A time bound on the materialization of some recursively defined views

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q578941)