Sfoglia per Autore
The Expressive Power of Partial Models for Disjunctive Deductive Databases
1996-01-01 Eiter, T.; Leone, Nicola; Sacca', D.
Unfounded Sets and Partial Stable Models for Disjunctive Deductive Databases
1996-01-01 Eiter, T.; Leone, Nicola; Sacca', D.
Multiple total stable models are definitely needed to solve unique solution problems
1996-01-01 Sacca', Domenico
Matching of Bounded Set Terms in the Logic Language LDL++
1996-01-01 Arni, N; Greco, Sergio; Sacca', Domenico
Un'Estensione della Programmazione Logica per la Rappresentazione di Sistemi Dinamici
1997-01-01 Crovara, M; Leone, Nicola; Sacca', D.
Deterministic and non-deterministic stable models
1997-01-01 Sacca', Domenico; Zaniolo, C.
''Possible is certain'' is desirable and can be expressive
1997-01-01 Greco, S; Sacca', Domenico
"Possible is Certain" is Desiderable and can be Expressive
1997-01-01 Greco, Sergio; Saccà, D.
On the Partial Semantics for Disjunctive Deductive Databases
1997-01-01 Eiter, T; Leone, Nicola; Sacca', Domenico
Programming with non-determinism in deductive databases
1997-01-01 Giannotti, F.; Greco, Sergio; Sacca', Domenico; Zaniolo, C.
The expressive power of stable models for bound and unbound DATALOG queries
1997-01-01 Sacca', Domenico
The Expressive Power of Unique Total Stable Model Semantics
1997-01-01 Greco, F; Greco, Sergio; Sacca', D.
Semi-automatic, semantic discovery of properties from database schemes
1998-01-01 Palopoli, Luigi; Sacca', D.; Ursino, D.
An architecture for accessing a large number of autonomous heterogeneous databases
1998-01-01 Sacca', Domenico; Flesca, Sergio; Palopoli, Luigi; Ursino, D.
An automatic technique for detecting type conflicts in database schemes
1998-01-01 Palopoli, Luigi; Sacca', D.; Ursino, D.
Expressive power and complexity of partial models for disjunctive deductive databases
1998-01-01 Sacca', Domenico; Eiter, T.; Leone, Nicola
On the complexity of search queries
1999-01-01 Leone, Nicola; Palopoli, Luigi; Saccà, D.
Grammars and Automata to Optimize Chain Logic Queries
1999-01-01 Greco, Sergio; Saccà, D.; Zaniolo, C.
A Unified Graph-Based Framework for Deriving Nominal Interscheme Properties, Type Conflicts and Object Cluster Similarities
1999-01-01 Palopoli, Luigi; Sacca', D.; Terracina, G.; Ursino, D.
Semi-automatic techniques for deriving interscheme properties from database schemes
1999-01-01 Palopoli, Luigi; Sacca', D.; Ursino, D.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile