OPTIMALLY REWRITING FORMULAS AND DATABASE QUERIES: A CONFLUENCE OF TERM REWRITING, STRUCTURAL DECOMPOSITION, AND COMPLEXITY.
Saved in:
| Title: | OPTIMALLY REWRITING FORMULAS AND DATABASE QUERIES: A CONFLUENCE OF TERM REWRITING, STRUCTURAL DECOMPOSITION, AND COMPLEXITY. |
|---|---|
| Authors: | CHEN, HUBIE1, MENGEL, STEFAN2 |
| Source: | Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-34, 34p |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.46298/LMCS-22(2:6)2026 |