IsaLog¬: a deductive language with negation for complex-object databases with hierarchies

DOI10.1016/S0169-023X(96)00051-1zbMath0894.68045OpenAlexW1996485047MaRDI QIDQ4397079

Luca Cabibbo, Paolo Atzeni, Giansalvatore Mecca

Publication date: 30 June 1998

Published in: Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0169-023x(96)00051-1

zbMATH Keywords

object identitydeclarative languagescomplex-object databasesexplicit Skolem functorsoid invention

Mathematics Subject Classification ID

Database theory (68P15)

This page was built for publication: IsaLog¬: a deductive language with negation for complex-object databases with hierarchies