Automated prover for attribute dependencies in data with grades (Q5963137)
From MaRDI portal
scientific article; zbMATH DE number 6550056
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated prover for attribute dependencies in data with grades |
scientific article; zbMATH DE number 6550056 |
Statements
Automated prover for attribute dependencies in data with grades (English)
0 references
4 March 2016
0 references
attribute implication
0 references
functional dependency
0 references
fuzzy logic
0 references
ordinal data
0 references
ordinary and graded completeness
0 references
similarity
0 references
0 references
