Automated reasoning about key sets

DOI10.1007/978-3-319-94205-6_4OpenAlexW2811226145MaRDI QIDQ1799066

Miika Hannula, Sebastian Link

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94205-6_4

Mathematics Subject Classification ID

Database theory (68P15) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Controlling entity integrity with key sets ⋮ Possibilistic keys

This page was built for publication: Automated reasoning about key sets