Reasoning About Embedded Dependencies Using Inclusion Dependencies

DOI10.1007/978-3-662-48899-7_2zbMath1471.68083arXiv1507.00655OpenAlexW816244907MaRDI QIDQ3460037

Miika Hannula

Publication date: 12 January 2016

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.00655

zbMATH Keywords

inclusion dependencyaxiomatizationdependence logicchaseimplication problemtuple-generating dependencyembedded dependencyequality-generating dependency

Mathematics Subject Classification ID

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

Related Items (4)

A finite axiomatization of conditional independence and inclusion dependencies ⋮ A logical approach to context-specific independence ⋮ Characterising modal definability of team-based logics via the universal modality ⋮ A Logical Approach to Context-Specific Independence

This page was built for publication: Reasoning About Embedded Dependencies Using Inclusion Dependencies