Safety, domain independence and translation of complex value database queries

DOI10.1016/j.ins.2008.02.005zbMath1183.68249OpenAlexW2106716639MaRDI QIDQ1031675

Weifa Liang, Jeffrey Xu Yu, Hong-Cheu Liu

Publication date: 30 October 2009

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2008.02.005

zbMATH Keywords

expressive powercomplex valuedomain independencequery translationsafe query

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (2)

Translation of first order formulas into ground formulas via a completion theory ⋮ Efficient Evaluation of Arbitrary Relational Calculus Queries

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Comparison of functional and predicative query paradigms
• Logic programming with sets
• Domain-independent formulas and databases
• Logic for improving integrity checking in relational data bases
• Domain independence and the relational calculus
• Domain-independent queries on databases with external functions
• Tractable query languages for complex object databases
• Constructibility and decidability versus domain independence and absoluteness
• Safety, domain independence and generalized quantification
• Syntactical characterization of a subset of domain-independent formulas

This page was built for publication: Safety, domain independence and translation of complex value database queries