Horn clauses and database dependencies (Q3956433)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Horn clauses and database dependencies |
scientific article |
Statements
Horn clauses and database dependencies (English)
0 references
1982
0 references
Armstrong relation
0 references
Armstrong database
0 references
database dependencies
0 references
Horn clause
0 references
relational database
0 references
faithfulness
0 references
