scientific article; zbMATH DE number 1004347

MaRDI QIDQ3129287zbMATH OpenFDO

Authors Guozhu Dong, Limsoon Wong

Publication date 31 July 1997

zbMATH Keywords

foiesincremental evaluation system

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• The arithmetical hierarchy in the setting of _1
• scientific article; zbMATH DE number 6318
• On Σ¹ ₁ equivalence relations over the natural numbers
• A recursion theoretic property of \(\mathbf{\Sigma ^1_1}\) equivalence relations
• scientific article; zbMATH DE number 1907144
• \(F_{\sigma}\) equivalence relations and Laver forcing
• scientific article; zbMATH DE number 3900834
• On ^0_1-classification of relations on computable structures
• Various hierarchies of \(\omega\)-regular sets
• On Σ₁¹ equivalence relations with Borel classes of bounded rank

Cited in

(1)

• Arity bounds in first-order incremental evaluation and definition of polynomial time database queries

This page was built for publication:

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