Titel

Merkliste
1 Ergebnisse

Equivalence, query-reachability and satisfiability in Datal..:

, In: Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems,

Levy, Alon ; Mumick, Inderpal Singh ; Sagiv, Yehoshua. - p. 109-122 , 1993

Link: https://dl.acm.org/doi/10.1145/153850.153860

RT 
T1 <cTitle>Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems</cTitle>: T1 <Title>Equivalence, query-reachability and satisfiability in Datalog extensions</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-153860&Exemplar=1&LAN=DE
				
A1 Levy, Alon
A1 Mumick, Inderpal Singh
A1 Sagiv, Yehoshua
A1 Shmueli, Oded
PB ACM
YR 1993
K1 Information systems
K1 Data management systems
K1 Query languages
K1 Theory of computation
K1 Theory and algorithms for application domains
K1 Database theory
K1 Database query languages (principles)
K1 Mathematics of computing
K1 Discrete mathematics
K1 Graph theory
K1 Trees
K1 Randomness, geometry and discrete structures
K1 Software and its engineering
K1 Software notations and tools
K1 General programming languages
K1 Language features
K1 Procedures, functions and subroutines
K1 Database management system engines
K1 Database query processing
K1 Database query processing and optimization (theory)
SP 109
OP 122
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/153850.153860
DO https://dl.acm.org/doi/10.1145/153850.153860
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)