Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Disjunctive datalog
We consider disjunctive Datalog, a powerful database query language based on disjunctive
logic programming. Briefly, disjunctive Datalog is a variant of Datalog where disjunctions …
logic programming. Briefly, disjunctive Datalog is a variant of Datalog where disjunctions …
Elements of relational database theory
Publisher Summary This chapter presents a systematic and unifying introduction to
relational database theory, including some of the recent developments in database logic …
relational database theory, including some of the recent developments in database logic …
Datalog extensions for database queries and updates
Deterministic and non-deterministic extensions of Datalog with fixpoint semantics are
proposed, and their expressive power characterized. It is argued that fixpoint semantics …
proposed, and their expressive power characterized. It is argued that fixpoint semantics …
Naturally embedded query languages
We investigate the properties of a simple programming language whose main computational
engine is structural recursion on sets. We describe a progression of sublanguages in this …
engine is structural recursion on sets. We describe a progression of sublanguages in this …
Dyn-FO (preliminary version): a parallel, dynamic complexity class
Traditionally, computational complexity has considered only static problems. Classical
Complexity Classes such as NC, P, NP, and PSPACE are defined in terms of the complexity …
Complexity Classes such as NC, P, NP, and PSPACE are defined in terms of the complexity …
Towards tractable algebras for bags
Bags, ie sets with duplicates, are often used to implement relations in database systems. In
this paper we study the expressive power of algebras for manipulating bags. The algebra we …
this paper we study the expressive power of algebras for manipulating bags. The algebra we …
Normal forms and conservative properties for query languages over collection types
Strong normalization results are obtained for a general language for collection types. An
induced normal form for sets and bags is then used to show that the class of functions whose …
induced normal form for sets and bags is then used to show that the class of functions whose …
Structural recursion as a query language
We propose a programming paradigm that tries to get close to both the semantic simplicity of
relational algebra, and the expressive power of unrestricted programming languages. Its …
relational algebra, and the expressive power of unrestricted programming languages. Its …
The power of languages for the manipulation of complex values
Various models and languages for describing and manipulating hierarchically structured
data have been proposed. Algebraic, calculus-based, and logic-programming oriented …
data have been proposed. Algebraic, calculus-based, and logic-programming oriented …
A graph-based data model and its ramifications
Currently, database researchers are investigating new data models in order to remedy the
deficiencies of the flat relational model when applied to nonbusiness applications. Herein …
deficiencies of the flat relational model when applied to nonbusiness applications. Herein …