An algebraic evaluation method for deduction in incomplete data bases (Q3792287)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An algebraic evaluation method for deduction in incomplete data bases |
scientific article |
Statements
An algebraic evaluation method for deduction in incomplete data bases (English)
0 references
1988
0 references
deductive data bases
0 references
Horn clause theories
0 references
relational algebra
0 references
incomplete databases
0 references
Skolem constants
0 references
