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 (1)

Axiomatizing first order consequences in inclusion logic

This page was built for publication: On the Interaction of Inclusion Dependencies with Independence Atoms