-
3
-
-
35048881580
-
The lorel query language for semistructured data
-
S. Abiteboul, D. Quass, J. McHugh, J. Widom, and J. Weiner. “The lorel query language for semistructured data". J. Digital Libraries, 1(1), 1997.
-
(1997)
J. Digital Libraries
, vol.1
, Issue.1
-
-
Abiteboul, S.1
Quass, D.2
McHugh, J.3
Widom, J.4
Weiner, J.5
-
5
-
-
0021373109
-
“Formal systems for tuple and equality generating dependencies"
-
C. Beeri and M. Y. Vardi. “Formal systems for tuple and equality generating dependencies". SIAM J. Comput., 13(1): 76 - 98, 1984.
-
(1984)
SIAM J. Comput
, vol.13
, Issue.1
-
-
Beeri, C.1
Vardi, M.Y.2
-
6
-
-
84976236998
-
Document Content Description for XML
-
T. Bray, C. Frankston, and A. Malhotra. “Document Content Description for XML". W3C Note, 1998. http://www.w3.org/TR/NOTE-dcd.
-
(1998)
W3C Note
-
-
Bray, T.1
Frankston, C.2
Malhotra, A.3
-
8
-
-
0030699576
-
Semistructured data
-
Tutorial
-
P. Buneman. “Semistructured data". Tutorial in Proc. 16th ACM Symp. on Prin-ciples of Database Systems (PODS'97), 1997.
-
(1997)
Proc. 16Th ACM Symp
-
-
Buneman, P.1
-
14
-
-
84959053842
-
-
Technical report MS-CIS-98-33, CIS, University of Pennsylvania
-
P. Buneman, W. Fan, and S. Weinstein. “Path constraints on deterministic graphs". Technical report MS-CIS-98-33, CIS, University of Pennsylvania, 1998. ftp://ftp.cis.upenn.edu/pub/papers/db-research/tr9833.ps.gz.
-
(1998)
“Path Constraints on Deterministic Graphs"
-
-
Buneman, P.1
Fan, W.2
Weinstein, S.3
-
16
-
-
0039992541
-
Reasoning in expres-sive description logics
-
A. Robinson and A. Voronkov, editors, Elsevier
-
D. Calvanese, G. De Giacomo, M. Lenzerini, and D. Nardi. “Reasoning in expres-sive description logics". In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning. Elsevier, 1999.
-
(1999)
Handbook of Automated Reasoning
-
-
Calvanese, D.1
De Giacomo, G.2
Lenzerini, M.3
Nardi, D.4
-
17
-
-
0004129078
-
-
W3C Note
-
A. Deutsch, M. Fernandez, D. Florescu, A. Levy, and D. Suciu. “XML-QL: a query language for XML". W3C Note, 1998. http://www.w3.org/TR/NOTE-xml-ql.
-
(1998)
“XML-QL: A Query Language for XML"
-
-
Deutsch, A.1
Fernandez, M.2
Florescu, D.3
Levy, A.4
Suciu, D.5
-
21
-
-
26444549831
-
Resource Description Framework (RDF) model and syntax specication
-
O. Lassila and R. R. Swick. “Resource Description Framework (RDF) model and syntax specication". W3C Working Draft, 1998. http://www.w3.org/TR/WD-rdf-syntax.
-
(1998)
W3C Working Draft
-
-
Lassila, O.1
Swick, R.R.2
-
22
-
-
0003806450
-
-
W3C Note
-
A. Layman, E. Jung, E. Maler, H. S. Thompson, J. Paoli, J. Tigue, N. H. Mikula, and S. De Rose. “XML-Data". W3C Note, 1998. http://www.w3.org/TR/ 1998/NOTE-XML-data.
-
(1998)
“XML-Data"
-
-
Layman, A.1
Jung, E.2
Maler, E.3
Thompson, H.S.4
Paoli, J.5
Tigue, J.6
Mikula, N.H.7
De Rose, S.8
-
26
-
-
0002022172
-
Feature logics
-
J. van Benthem and A. ter Meulen, editors, Elsevier
-
W. C. Rounds. “Feature logics". In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language. Elsevier, 1997.
-
(1997)
Handbook of Logic and Language
-
-
Rounds, W.C.1
-
27
-
-
0003989126
-
-
Technical Report MRC-LMB xx.92, MRC Laboratory for Molecular Biology, Cambridge, CB2 2QH, UK
-
J. Thierry-Mieg and R. Durbin. “Syntactic denitions for the ACEDB data base manager". Technical Report MRC-LMB xx.92, MRC Laboratory for Molecular Biology, Cambridge, CB2 2QH, UK, 1992.
-
(1992)
“Syntactic Denitions for the ACEDB Data Base Manager"
-
-
Thierry-Mieg, J.1
Durbin, R.2
-
28
-
-
0022704337
-
Automata-theoretic techniques for modal logic of programs
-
M. Y. Vardi and P. Wolper. “Automata-theoretic techniques for modal logic of programs". J. Comput. System Sci. (JCSS), 32(2), 1986.
-
(1986)
J. Comput. System Sci. (JCSS)
, vol.32
, Issue.2
-
-
Vardi, M.Y.1
Wolper, P.2
|