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

deductive databasesHorn clausesquery processingrecursively defined relationsuniformly bounded recursion

Mathematics Subject Classification ID

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

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

• A relational model of data for large shared data banks
• Equivalences among Relational Expressions
• Equivalences Among Relational Expressions with the Union and Difference Operators
• Graph theory with applications
• 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?)
• On compiling queries in recursive first-order databases
• On recursive axioms in deductive databases

Cited in

(9)

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

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)