Document Type
Article
Publication Date
2000
Abstract
Presents a first-order incremental evaluation system that uses first-order queries to maintain a database view defined by a non-first-order query. Reduction of the arity of queries to understand the power of foies; Use of a key lemma for proving a query which encodes the multiple parity problem.
Repository Citation
Dong, G.,
& Zhang, L.
(2000). Separating Auxiliary Arity Hierarchy of First-Order Incremental Evaluation Using (3+1)-ary Input Relations. International Journal of Foundations of Computer Science, 11 (4), 573-578.
https://corescholar.libraries.wright.edu/knoesis/405
DOI
10.1142/S0129054100000302
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Attached is the peer-reviewed author's version. The final version can be found at the International Journal of Foundations of Computer Science, 11(4), 2000, 573-578, doi: 10.1142/S0129054100000302 © copyright World Scientific Publishing Company, http://www.worldscientific.com/worldscinet/ijfcs.