Reasoning about Strings in Databases
Summary: Alignment logic: a modal extension of relational calculus modeling relations of Sigma*-strings as 2D alignments with a 'slide' modality and multitape two‑way automata for string matching. Extends relational algebra with automata-based selection, identifies a decidable boundedness fragment, and shows fragments capture regular languages, PH, and full Turing power. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,065 | Similarity-Based Queries | 1995 | PODS | 6.4759059e-05 |
| 6,132 | Sequences, Datalog and Transducers | 1995 | PODS | 5.192386e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,049 | Safety of Recursive Horn Clauses With Infinite Relations | 1987 | PODS | 0.00014426218 |
| 2,237 | Pattern Matching by Rs-Operations: Towards a Unified Approach to Querying Sequenced Data (Extended Abstract) | 1992 | PODS | 9.2181378e-05 |
| 4,511 | Supporting Lists in a Data Model (A Timely Approach) | 1992 | VLDB | 6.1191128e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,065 | Similarity-Based Queries | 1995 | PODS | 6.4759059e-05 |
| 6,667 | Typed Query Languages for Databases Containing Queries | 1998 | PODS | 4.9651817e-05 |
| 1,687 | Automata Theory for Database Theoreticians | 1989 | PODS | 0.0001090256 |
| 3,450 | A Modal System of Algebras for Database Specification and Query/Update Language Support | 1983 | VLDB | 7.0803112e-05 |
| 1,450 | Theory of Database Queries (Extended Abstract) | 1988 | PODS | 0.00011926567 |
| 485 | A New Approach to Database Logic | 1984 | PODS | 0.00022061287 |
| 1,833 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS | 0.00010365844 |
| 7,363 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD | 4.7461604e-05 |
| 4,343 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2665123e-05 |
| 12,673 | String Operations in Query Languages | 2001 | PODS | 4.1905499e-05 |