SEPARATING AUXILIARY ARITY HIERARCHY OF FIRST-ORDER INCREMENTAL EVALUATION SYSTEMS USING (3K+1)-ary INPUT RELATIONS

DOI10.1142/S0129054100000302MaRDI QIDQ4528763zbMATH OpenFDO

Authors Guozhu Dong, Louxin Zhang

Publication date 2000

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0129054100000302

zbMATH Keywords

database viewsquery languages

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Incremental and decremental evaluation of transitive closure by first- order queries
• An arithmetical hierarchy in propositional dynamic logic
• scientific article; zbMATH DE number 1086669
• Formal Methods in Computer-Aided Design
• LTL with arithmetic and its applications in reasoning about hierarchical systems
• Foundations of Information and Knowledge Systems
• Arity and alternation: a proper hierarchy in higher order logics
• Arity bounds in first-order incremental evaluation and definition of polynomial time database queries
• scientific article; zbMATH DE number 1903356

Cites work

• Arity bounds in first-order incremental evaluation and definition of polynomial time database queries
• Incremental and decremental evaluation of transitive closure by first- order queries
• Lower bounds for constant-depth circuits in the presence of help bits
• Nonrecursive incremental evaluation of Datalog queries

Cited in

(3)

• Arity bounds in first-order incremental evaluation and definition of polynomial time database queries
• On the quantifier-free dynamic complexity of reachability
• scientific article; zbMATH DE number 7471669 (Why is no real title available?)

This page was built for publication: SEPARATING AUXILIARY ARITY HIERARCHY OF FIRST-ORDER INCREMENTAL EVALUATION SYSTEMS USING (3K+1)-ary INPUT RELATIONS

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