On the Interaction of Inclusion Dependencies with Independence Atoms

DOI10.29007/2pgnzbMath1403.68053OpenAlexW2741313873MaRDI QIDQ4645737

Sebastian Link, Miika Hannula, Juha Kontinen

Publication date: 10 January 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/2pgn

zbMATH Keywords

complexityinclusion dependencyaxiomatizationimplication problemindependence atom

Mathematics Subject Classification ID

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

Related Items

Axiomatizing first order consequences in inclusion logic