Query languages for sequence databases: termination and complexity (original) (raw)
Related papers
Sequences, Datalog, and Transducers
Journal of Computer and System Sciences, 1998
Expressiveness within Sequence Datalog
2021
Sequence Datalog: Declarative string manipulation in databases
Lecture Notes in Computer Science, 1996
Increment boundedness and nonrecursive incremental evaluation of datalog queries
Lecture Notes in Computer Science, 1995
On the first-order expressibility of recursive queries
Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '89
On the equivalence of recursive and nonrecursive datalog programs
1992
Undecidable boundedness problems for datalog programs
1995
Circumscribing DATALOG: Expressive Power and Complexity
Theoretical Computer Science, 1998
Information Processing Letters, 1995
Extending the power of datalog recursion
The VLDB Journal, 2012
Programming with Sequence Variables: the Sequentica Package
Challenging the Boundaries of Symbolic Computation - Proceedings of the 5th International Mathematica Symposium, 2003
1991
On Decompositions of Chain Datalog Programs into
1995
Inherent Complexity of Recursive Queries
Journal of Computer and System Sciences, 2002
Relationlog: A typed extension to Datalog with sets and tuples
The Journal of Logic Programming, 1998
The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries
Journal of Computer and System Sciences, 1997
Datalog LITE: a deductive query language with linear time model checking
ACM Transactions on Computational Logic, 2002
On Two Forms of Structural Recursion
Database TheoryICDT'95, 1995
Efficiently computable datalog^E programs
Decidable containment of recursive queries
2002
Semi-Inflationary DATALOG: A declarative database language with procedural features
2005
Safe computation of the well-founded semantics of datalog queries
Information Systems, 1992
Classification and compilation of linear recursive queries in deductive databases
IEEE Transactions on Knowledge and Data Engineering, 1992
Datalog and Recursive Query Processing
Foundations and Trends® in Databases, 2012
Datalog and Description Logics: Expressive Power
1997
Practical Applications of Extended Deductive Databases in Datalog ⋆
2009
Functional Programming with Sequence Variables: The Sequentica Package
Definability and Descriptive Complexity on Databases of Bounded Tree-Width
Lecture Notes in Computer Science, 1999
The expressiveness of Datalog cicuits (DAC)
Lecture Notes in Computer Science, 1997
Bottom-up Evaluation of Finitely Recursive Queries
2009
On problems of databases over a fixed infinite universe
Banach Center Publications, 1999
A semantics of sequence diagrams
Information Processing Letters, 2002