DBScholar

Back to papers

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)

Paper ID
1040
Venue
PODS
Year
1994
Pagerank
5.8146334e-05
Overall Rank
6,649 | 54.39%
DOI
10.1145/182591.182656

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{policy_pods94,
        address = {New York, NY, USA},
        series = {{PODS} '94},
        title = {{Reasoning about Strings in Databases}},
        url = {https://dl.acm.org/doi/10.1145/182591.182656},
        doi = {10.1145/182591.182656},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {policy), REDACTED (withheld per image identification and policy), REDACTED (withheld per image identification and policy), REDACTED (withheld per image identification},
        year = {1994}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank Citing Paper Year Venue Pagerank
4,077 Similarity-Based Queries 1995 PODS 6.921027e-05
6,802 Sequences, Datalog and Transducers 1995 PODS 5.7686659e-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.

Previous Page 1 / 1 Next

Semantically Similar Papers