| dc.contributor.advisor | Kanellakis, Paris C. | en_US |
| dc.contributor.advisor | Meyer, Albert R. | en_US |
| dc.contributor.author | Cosmadakis, Stavros Stylianos | en_US |
| dc.date.accessioned | 2023-03-29T15:11:42Z | |
| dc.date.available | 2023-03-29T15:11:42Z | |
| dc.date.issued | 1985-08 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149615 | |
| dc.description.abstract | The implication problem for database constraints is central in the fields of automated schema design and query optimization and has been traditionally approached with resolution-based techniques. We present a novel approach to database constraints, using equations instead of Horn clauses. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-346 | |
| dc.title | Equational Theories and Database Constraints | en_US |
| dc.identifier.oclc | 13805273 | |
