A tableaux-like method to infer all minimal keys

DOI10.1093/jigpal/jzu025zbMath1407.68126OpenAlexW2082781590MaRDI QIDQ4644503

No author found.

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzu025

zbMATH Keywords

applied logicsemantic tableauxminimal keysif-then rules

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70)

Related Items (2)

Canonical dichotomous direct bases ⋮ Quasi-closed elements in fuzzy posets

This page was built for publication: A tableaux-like method to infer all minimal keys