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,064 | Similarity-Based Queries | 1995 | PODS | 6.4820797e-05 |
| 6,129 | Sequences, Datalog and Transducers | 1995 | PODS | 5.1974539e-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,051 | Safety of Recursive Horn Clauses With Infinite Relations | 1987 | PODS | 0.00014440736 |
| 2,233 | Pattern Matching by Rs-Operations: Towards a Unified Approach to Querying Sequenced Data (Extended Abstract) | 1992 | PODS | 9.2273074e-05 |
| 4,510 | Supporting Lists in a Data Model (A Timely Approach) | 1992 | VLDB | 6.1250352e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,064 | Similarity-Based Queries | 1995 | PODS | 6.4820797e-05 |
| 6,664 | Typed Query Languages for Databases Containing Queries | 1998 | PODS | 4.9699875e-05 |
| 1,688 | Automata Theory for Database Theoreticians | 1989 | PODS | 0.00010913301 |
| 3,444 | A Modal System of Algebras for Database Specification and Query/Update Language Support | 1983 | VLDB | 7.0871625e-05 |
| 1,448 | Theory of Database Queries (Extended Abstract) | 1988 | PODS | 0.00011938045 |
| 485 | A New Approach to Database Logic | 1984 | PODS | 0.00022085103 |
| 1,835 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS | 0.00010375854 |
| 7,368 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD | 4.7507411e-05 |
| 4,346 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2725564e-05 |
| 12,664 | String Operations in Query Languages | 2001 | PODS | 4.1945683e-05 |