Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages
Zusammenfassung
A sound inference procedure is presented for removing operations that eliminate duplicates in queries formulated in a bag-algebra. The procedure is shown complete for positive queries over finite databases, and operates by appeal to logical consequence problems for feature-based description logics in which a TBox embeds an object-relational schema. For unions of conjunctive queries in which an embedded schema excludes cover constraints, the procedure runs in PTIME, and in EXPTIME otherwise.
- Vollständige Referenz
- BibTeX
Toman, D. & Weddell, G.,
(2020).
Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages.
KI - Künstliche Intelligenz: Vol. 34, No. 3.
Springer.
(S. 355-363).
DOI: 10.1007/s13218-020-00666-7
@article{mci/Toman2020,
author = {Toman, David AND Weddell, Grant},
title = {Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages},
journal = {KI - Künstliche Intelligenz},
volume = {34},
number = {3},
year = {2020},
,
pages = { 355-363 } ,
doi = { 10.1007/s13218-020-00666-7 }
}
author = {Toman, David AND Weddell, Grant},
title = {Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages},
journal = {KI - Künstliche Intelligenz},
volume = {34},
number = {3},
year = {2020},
,
pages = { 355-363 } ,
doi = { 10.1007/s13218-020-00666-7 }
}
Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/s13218-020-00666-7
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISSN: 1610-1987
Datum: 2020
Typ: Text/Journal Article