Definability by constant-depth polynomial-size circuits
Information and Control
Decidability of the purely existential fragment of the theory of term algebras
Journal of the ACM (JACM)
Formal languages
Learnability and the Vapnik-Chervonenkis dimension
Journal of the ACM (JACM)
Journal of Computer and System Sciences - 3rd Annual Conference on Structure in Complexity Theory, June 14–17, 1988
Computational learning theory: an introduction
Computational learning theory: an introduction
Infinite trees and automaton-definable relations over &ohgr;-words
Theoretical Computer Science - Selected papers of the 7th Annual Symposium on theoretical aspects of computer science (STACS '90) Rouen, France, February 1990
Pattern matching by Rs-operations: towards a unified approach to querying sequenced data
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Synchronized rational relations of finite and infinite words
Theoretical Computer Science - Selected papers of the International Colloquium on Words, Languages and Combinatorics, Kyoto, Japan, August 1990
Finite automata, formal logic, and circuit complexity
Finite automata, formal logic, and circuit complexity
Open questions around Bu¨chi and Presburger arithmetics
Logic: from foundations to applications
The first-order theory of lexicographic path orderings is undecidable
Theoretical Computer Science
Languages, automata, and logic
Handbook of formal languages, vol. 3
Information and Computation - Special issue: logic and computational complexity
Sequences, datalog, transducers
Journal of Computer and System Sciences - Fourteenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Algebras for querying text regions: expressive power and optimization
Journal of Computer and System Sciences - Fourteenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Finite queries do not have effective syntax
Information and Computation
A technique for proving decidability of containment and equivalence of linear constraint queries
Journal of Computer and System Sciences
Reasoning about strings in databases
Journal of Computer and System Sciences
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Relational queries over interpreted structures
Journal of the ACM (JACM)
Journal of Computer and System Sciences - 30th annual ACM symposium on theory of computing
SIAM Journal on Computing
A decision procedure for term algebras with queues
ACM Transactions on Computational Logic (TOCL)
Expressiveness of structured document query languages based on attribute grammars
Journal of the ACM (JACM)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Word Processing in Groups
Towards a Theory of Recursive Structures
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
Automatic Presentations of Structures
LCC '94 Selected Papers from the International Workshop on Logical and Computational Complexity
Querying String Databases with Transducers
DBLP-6 Proceedings of the 6th International Workshop on Database Programming Languages
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
SPIRE '99 Proceedings of the String Processing and Information Retrieval Symposium & International Workshop on Groupware
Counter-Free Automata (M.I.T. research monograph no. 65)
Counter-Free Automata (M.I.T. research monograph no. 65)
Logic and Computational Complexity for Boolean Information Retrieval
IEEE Transactions on Knowledge and Data Engineering
Logical definability and query languages over ranked and unranked trees
ACM Transactions on Computational Logic (TOCL)
Finite n-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al.
Theoretical Computer Science
The "equal last letter" predicate for words on infinite alphabets and classes of multitape automata
Theoretical Computer Science
Expressive languages for path queries over graph-structured data
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Logics for unranked trees: an overview
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Graph Logics with Rational Relations and the Generalized Intersection Problem
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Expressive Languages for Path Queries over Graph-Structured Data
ACM Transactions on Database Systems (TODS)
Regular languages of nested words: fixed points, automata, and synchronization
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Walk logic as a framework for path query languages on graph databases
Proceedings of the 16th International Conference on Database Theory
Spanners: a formal framework for information extraction
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.01 |
We study analogs of classical relational calculus in the context of strings. We start by studying string logics. Taking a classical model-theoretic approach, we fix a set of string operations and look at the resulting collection of definable relations. These form an algebra---a class of n-ary relations for every n, closed under projection and Boolean operations. We show that by choosing the string vocabulary carefully, we get string logics that have desirable properties: computable evaluation and normal forms. We identify five distinct models and study the differences in their model-theory and complexity of evaluation. We identify a subset of these models that have additional attractive properties, such as finite VC dimension and quantifier elimination.Once you have a logic, the addition of free predicate symbols gives you a string query language. The resulting languages have attractive closure properties from a database point of view: while SQL does not allow the full composition of string pattern-matching expressions with relational operators, these logics yield compositional query languages that can capture common string-matching queries while remaining tractable. For each of the logics studied in the first part of the article, we study properties of the corresponding query languages. We give bounds on the data complexity of queries, extend the normal form results from logics to queries, and show that the languages have corresponding algebras expressing safe queries.