𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Illusions in Reasoning About Consistency

✍ Scribed by Johnson-Laird, P. N.


Book ID
121162437
Publisher
American Association for the Advancement of Science
Year
2000
Tongue
English
Weight
103 KB
Volume
288
Category
Article
ISSN
0036-8075

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Reasoning about Strings in Databases
✍ GΓΆsta Grahne; Matti NykΓ€nen; Esko Ukkonen πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 499 KB

In order to enable the database programmer to reason about relations over strings of arbitrary length, we introduce alignment calculus, a modal extension of the relational calculus. In addition to relations, a state in the model consists of a two-dimensional array where the strings are aligned on to