-
2
-
-
84976783056
-
The implication problem for data dependencies
-
C. Beeri and M. Y. Vardi. The implication problem for data dependencies. In Proc. of ICALP, pages 73-85, 1981.
-
(1981)
In Proc. of ICALP
, pp. 73-85
-
-
Beeri, C.1
Vardi, M.Y.2
-
3
-
-
0348229307
-
The expressive power of stratified logic programs with value invention
-
L. Cabibbo. The expressive power of stratified logic programs with value invention. Inf. Comput., 147(1):22-56, 1998.
-
(1998)
Inf. Comput.
, vol.147
, Issue.1
, pp. 22-56
-
-
Cabibbo, L.1
-
4
-
-
84860514494
-
Taming the infinite chase: Query answering under expressive relational constraints
-
A. Cal'i, G. Gottlob, and M. Kifer. Taming the infinite chase: Query answering under expressive relational constraints. In Proc. of KR, pages 70-80, 2008.
-
(2008)
In Proc. of KR
, pp. 70-80
-
-
Cal'i, A.1
Gottlob, G.2
Kifer, M.3
-
5
-
-
70350662981
-
A general datalog-based framework for tractable query answering over ontologies
-
A. Cal'i, G. Gottlob, and T. Lukasiewicz. A general datalog-based framework for tractable query answering over ontologies. In Proc. of PODS, pages 77-86, 2009.
-
(2009)
In Proc. of PODS
, pp. 77-86
-
-
Cal'i, A.1
Gottlob, G.2
Lukasiewicz, T.3
-
6
-
-
79957830183
-
Advanced processing for ontological queries
-
A. Cal'i, G. Gottlob, and A. Pieris. Advanced processing for ontological queries. PVLDB, 3(1):554-565, 2010.
-
(2010)
PVLDB
, vol.3
, Issue.1
, pp. 554-565
-
-
Cal'i, A.1
Gottlob, G.2
Pieris, A.3
-
7
-
-
79957829212
-
Query answering under non-guarded rules in datalog+/-
-
A. Cal'i, G. Gottlob, and A. Pieris. Query answering under non-guarded rules in datalog+/-. In Proc. of RR, pages 175-190, 2010.
-
(2010)
In Proc. of RR
, pp. 175-190
-
-
Cal'i, A.1
Gottlob, G.2
Pieris, A.3
-
9
-
-
34548305118
-
Tractable reasoning and efficient query answering in description logics: The DL-lite family
-
D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable reasoning and efficient query answering in description logics: The DL-lite family. J. Autom. Reasoning, 39(3):385-429, 2007.
-
(2007)
J. Autom. Reasoning
, vol.39
, Issue.3
, pp. 385-429
-
-
Calvanese, D.1
De Giacomo, G.2
Lembo, D.3
Lenzerini, M.4
Rosati, R.5
-
10
-
-
84898929116
-
Decidable optimization problems for database logic programs (preliminary report)
-
S. S. Cosmadakis, H. Gaifman, P. C. Kanellakis, and M. Y. Vardi. Decidable optimization problems for database logic programs (preliminary report). In Proc. of STOC, pages 477-490, 1988.
-
(1988)
In Proc. of STOC
, pp. 477-490
-
-
Cosmadakis, S.S.1
Gaifman, H.2
Kanellakis, P.C.3
Vardi, M.Y.4
-
13
-
-
18144386595
-
Data exchange: Semantics and query answering
-
R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data exchange: Semantics and query answering. Theor. Comput. Sci., 336(1):89-124, 2005.
-
(2005)
Theor. Comput. Sci.
, vol.336
, Issue.1
, pp. 89-124
-
-
Fagin, R.1
Kolaitis, P.G.2
Miller R.J3
Popa, L.4
-
14
-
-
0023231838
-
Undecidable optimization problems for database logic programs
-
H. Gaifman, H. G. Mairson, Y. Sagiv, and M. Y. Vardi. Undecidable optimization problems for database logic programs. In Proc. of LICS, pages 106-115, 1987.
-
(1987)
In Proc. of LICS
, pp. 106-115
-
-
Gaifman, H.1
Mairson, H.G.2
Sagiv, Y.3
Vardi, M.Y.4
-
15
-
-
79957828081
-
Ontological queries: Rewriting and optimization
-
G. Gottlob, G. Orsi, and A. Pieris. Ontological queries: Rewriting and optimization. In Proc. of ICDE, pages 2-13, 2011.
-
(2011)
In Proc. of ICDE
, pp. 2-13
-
-
Gottlob, G.1
Orsi, G.2
Pieris, A.3
-
16
-
-
0021375730
-
Testing containment of conjunctive queries under functional and inclusion dependencies
-
D. S. Johnson and A. C. Klug. Testing containment of conjunctive queries under functional and inclusion dependencies. J. Comput. Syst. Sci., 28(1):167-189, 1984.
-
(1984)
J. Comput. Syst. Sci.
, vol.28
, Issue.1
, pp. 167-189
-
-
Johnson, D.S.1
Klug, A.C.2
-
17
-
-
8444244360
-
Foundations of Logic Programming
-
J. W. Lloyd. Foundations of Logic Programming. Springer, 1984.
-
(1984)
Springer
-
-
Lloyd, J.W.1
-
18
-
-
0018699134
-
Testing implications of data dependencies
-
D. Maier, A. O. Mendelzon, and Y. Sagiv. Testing implications of data dependencies. ACM Trans. Database Syst., 4(4):455-469, 1979.
-
(1979)
ACM Trans. Database Syst.
, vol.4
, Issue.4
, pp. 455-469
-
-
Maier, D.1
Mendelzon, A.O.2
Sagiv, Y.3
-
19
-
-
77549087969
-
Tractable query answering and rewriting under description logic constraints
-
H. Ṕerez-Urbina, B. Motik, and I. Horrocks. Tractable query answering and rewriting under description logic constraints. Journal of Applied Logic, 8(2):151-232, 2009.
-
(2009)
Journal of Applied Logic
, vol.8
, Issue.2
, pp. 151-232
-
-
Ṕerez-Urbina, H.1
Motik, B.2
Horrocks, I.3
-
20
-
-
67549104757
-
Linking data to ontologies
-
A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati. Linking data to ontologies. J. Data Semantics, 10:133-173, 2008.
-
(2008)
J. Data Semantics
, vol.10
, pp. 133-173
-
-
Poggi, A.1
Lembo, D.2
Calvanese, D.3
De Giacomo, G.4
Lenzerini, M.5
Rosati, R.6
-
21
-
-
80051679347
-
Improving query answering over DL-Lite ontologies
-
R. Rosati and A. Almatelli. Improving query answering over DL-Lite ontologies. In Proc. KR, pages 290-300, 2010
-
(2010)
In Proc. KR
, pp. 290-300
-
-
Rosati, R.1
Almatelli, A.2
|