| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Domenico Saccà Gianluigi Greco , Antonella Guzzo , Luigi Pontieri , Domenico Saccà: Mining Expressive Process Models by Clustering Workflow Traces. PAKDD 2004 : 52-62 Sergio Flesca , Sergio Greco , Domenico Saccà, Ester Zumpano : Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, SEBD 2003, Cetraro (CS), Italy, June 24-27, 2003 Rubettino Editore 2003 Gianluigi Greco , Antonella Guzzo , Domenico Saccà: Reasoning on Workflow Executions. ADBIS 2003 : 205-219 Gianluigi Greco , Antonella Guzzo , Domenico Saccà: A Logic-Based Formalism to Model and Analyze Workflow Executions. CAiSE Short Paper Proceedings 2003 M. Ettorre , Luigi Pontieri , Massimo Ruffolo , Pasquale Rullo , Domenico Saccà: A Prototypal Environment for Collaborative Work within a Research Organization. DEXA Workshops 2003 : 274-279 Alfredo Cuzzocrea , Filippo Furfaro , Domenico Saccà: Hand-OLAP: A System for Delivering OLAP Services on Handheld Devices. ISADS 2003 : 80-87 Gianluigi Greco , Antonella Guzzo , Giuseppe Manco , Domenico Saccà: Mining Frequent Instances on Workflows. PAKDD 2003 : 209-221 Giuseppe Manco , Riccardo Ortale , Domenico Saccà: Similarity-Based Clustering of Web Transactions. SAC 2003 : 1212-1216 Francesco Buccafurri , Filippo Furfaro , Domenico Saccà, Cristina Sirangelo : A Quad-Tree Based Multiresolution Approach for Two-dimensional Summary Data. SSDBM 2003 : 127- Luigi Palopoli , Domenico Saccà, Giorgio Terracina , Domenico Ursino : Uniform Techniques for Deriving Similarities of Objects and Subschemes in Heterogeneous Databases. IEEE Trans. Knowl. Data Eng. 15 (2): 271-294 (2003) Sergio Greco , Domenico Saccà: Search and Optimization Problems in Datalog. Computational Logic: Logic Programming and Beyond 2002 : 61-82 Francesco Buccafurri , Filippo Furfaro , Gianluca Lax , Domenico Saccà: Binary-Tree Histograms with Tree Indices. DEXA 2002 : 861-870 Francesco Buccafurri , Domenico Rosaci , Luigi Pontieri , Domenico Saccà: Improving Range Query Estimation on Histograms. ICDE 2002 : 628-638 Luigi Palopoli , Domenico Saccà, Giorgio Terracina , Domenico Ursino : A technique for deriving hyponymies and overlappings from database schemes. Data Knowl. Eng. 40 (3): 285-314 (2002) Francesco Buccafurri , Filippo Furfaro , Domenico Saccà: Estimating Range Queries Using Aggregate Data with Integrity Constraints: A Probabilistic Approach. ICDT 2001 : 390-404 Mario Cannataro , Gianluca Carelli , Andrea Pugliese , Domenico Saccà: Semantic Lossy Compression of XML Data. KRDB 2001 Mario Cannataro , Gianluca Carelli , Andrea Pugliese , Domenico Saccà: Compressione Semantica con Perdita di Documenti XML. SEBD 2001 : 315-329 Sergio Greco , Domenico Saccà, Carlo Zaniolo : Extending stratified datalog to capture complexity classes ranging from P to QH. Acta Inf. 37 (10): 699-725 (2001) Luigi Palopoli , Domenico Saccà, Giorgio Terracina , Domenico Ursino : Semi-automatic Extraction of Hyponymies and Overlappings from Heterogeneous Database Schemes. DEXA 2000 : 614-623 Andres Albanese , Mario Cannataro , Pasquale Rullo , Domenico Saccà: Transmitting Datacubes over Congested Networks. ITCC 2000 : 360-367 Francesco Buccafurri , Filippo Furfaro , Domenico Rosaci , Domenico Saccà: Estimating range queries using aggregate data. SEBD 2000 : 7-20 Luigi Palopoli , Domenico Saccà, Giorgio Terracina , Domenico Ursino : A Unified Graph-Based Framework for Deriving Nominal Interscheme Properties, Type Conflicts and Object Cluster Similarities. CoopIS 1999 : 34-45 Francesco Buccafurri , Domenico Rosaci , Domenico Saccà: Compressed Datacubes for fast OLAP Applications. DaWaK 1999 : 65-77 Luigi Palopoli , Luigi Pontieri , Domenico Saccà, Domenico Ursino : Progettazione Semi-Automatica di Data Warehouse di Grandi Dimensioni . SEBD 1999 : 3-17 Luigi Palopoli , Domenico Saccà, Domenico Ursino : Semi-Automatic Techniques for Deriving Interscheme Properties from Database Schemes. Data Knowl. Eng. 30 (3): 239-273 (1999) Sergio Greco , Domenico Saccà: Complexity and Expressive Power of Deterministic Semantics for DATALOG¬. Inf. Comput. 153 (1): 81-98 (1999) Luigi Palopoli , Domenico Saccà, Domenico Ursino : DLP: A Description Logic for Extracting and Managing Complex Terminological and Structural Properties from Database Schemes. Inf. Syst. 24 (5): 401-424 (1999) Sergio Greco , Domenico Saccà, Carlo Zaniolo : Grammars and Automata to Optimize Chain Logic Queries. Int. J. Found. Comput. Sci. 10 (3): 349- (1999) Luigi Palopoli , Domenico Saccà, Domenico Ursino : An Automatic Techniques for Detecting Type Conflicts in Database Schemes. CIKM 1998 : 306-313 Luigi Palopoli , Domenico Saccà, Domenico Ursino : Automatic Derivation of Terminological Properties from Database Schemes. DEXA 1998 : 90-99 Nicola Leone , Luigi Palopoli , Domenico Saccà: On the Complexity of Search Queries. FMLDO 1998 : 113-127 Angela Bonifati , Luigi Palopoli , Domenico Saccà, Domenico Ursino : Automatic Extraction of Database Scheme Semantic Properties Using Knowledge Discovery Techniques. IADT 1998 : 392-399 Luigi Palopoli , Domenico Saccà, Domenico Ursino : Semi-Automatic Semantic Discovery of Properties from Database Schemas. IDEAS 1998 : 244-253 Angela Bonifati , Luigi Palopoli , Domenico Saccà, Domenico Ursino : Utilizzo della logica descrittiva per l'estrazione di proprietà terminologiche e strutturali complesse. SEBD 1998 : 71-86 Sergio Flesca , Luigi Palopoli , Domenico Saccà, Domenico Ursino : An architecture for accessing a large number of autonomous, heterogeneous databases. Networking and Information Systems 1 (4-5): 495-518 (1998) Thomas Eiter , Nicola Leone , Domenico Saccà: Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases. Theor. Comput. Sci. 206 (1-2): 181-218 (1998) Sergio Greco , Domenico Saccà: Deterministic Semantics for Datalog¬: Complexity and Expressive Power. DOOD 1997 : 337-350 Angela Bonifati , Luigi Palopoli , Domenico Saccà, Domenico Ursino : Discovering description logic assertions from database schemes. Description Logics 1997 Francesco Buccafurri , Sergio Greco , Domenico Saccà: The Expressive Power of Unique Total Stable Model Semantics. ICALP 1997 : 849-859 Sergio Greco , Domenico Saccà: NP Optimization Problems in Datalog. ILPS 1997 : 181-195 Massimo La Camera , Luigi Palopoli , Domenico Saccà, Domenico Ursino : Knowledge Discovery su Schemi per l'Integrazione di Basi di Dati. SEBD 1997 : 166-190 Sergio Greco , Domenico Saccà: ``Possible is Certain'' is Desirable and Can Be Expressive. Ann. Math. Artif. Intell. 19 (1-2): 147-168 (1997) Thomas Eiter , Nicola Leone , Domenico Saccà: On the Partial Semantics for Disjunctive Deductive Databases. Ann. Math. Artif. Intell. 19 (1-2): 59-96 (1997) Fosca Giannotti , Sergio Greco , Domenico Saccà, Carlo Zaniolo : Programming with Non-Determinism in Deductive Databases. Ann. Math. Artif. Intell. 19 (1-2): 97-125 (1997) Domenico Saccà: The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries. J. Comput. Syst. Sci. 54 (3): 441-464 (1997) Domenico Saccà, Carlo Zaniolo : Deterministic and Non-Deterministic Stable Models. J. Log. Comput. 7 (5): 555-579 (1997) Sergio Greco , Domenico Saccà: The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract). ASIAN 1996 : 33-42 Thomas Eiter , Nicola Leone , Domenico Saccà: Partial Semantics for Disjunctive Deductive Databases. DEXA 1996 : 564-573 Thomas Eiter , Nicola Leone , Domenico Saccà: The Expressive Power of Partial Models in Disjunctive Deductive Databases. Logic in Databases 1996 : 245-264 Domenico Saccà: Multiple Total Stable Models are Definitely Needed to Solve Unique Solution Problems. Inf. Process. Lett. 58 (5): 249-254 (1996) Natraj Arni , Sergio Greco , Domenico Saccà: Matching of Bounded Set Terms in the Logic Language LDL++. J. Log. Program. 27 (1): 73-87 (1996) Sergio Greco , Domenico Saccà, Carlo Zaniolo : The PushDown Method to Optimize Chain Logic Programs (Extended Abstract). ICALP 1995 : 523-534 Domenico Saccà: Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries. ICDT 1995 : 353-367 Sergio Greco , Domenico Saccà, Carlo Zaniolo : DATALOG Queries with Stratified Negation and Choice: from P to D P . ICDT 1995 : 82-96 Sergio Greco , Domenico Saccà, Carlo Zaniolo : Dynamic Programming Optimization for Logic Queries with Aggregates. ILPS 1993 : 575-589 Sergio Greco , Massimo Romeo , Domenico Saccà: Evaluation of Negative Logic Programs. LOGIDATA+: Deductive Databases with Complex Objects 1993 : 148-158 Nicola Leone , Massimo Romeo , Pasquale Rullo , Domenico Saccà: Effective Implementation of Negation in Database Logic Query Languages. LOGIDATA+: Deductive Databases with Complex Objects 1993 : 159-175 Alessandro Artale , Jean Paul Ballerini , Filippo Cacace , Stefano Ceri , Francesca Cesarini , Anna Formica , Herman Lam , Sergio Greco , G. Marrella , Michele Missikoff , Luigi Palopoli , L. Pichetti , Domenico Saccà, Silvio Salza , Claudio Sartori , Giovanni Soda , Letizia Tanca , M. Toiati : Prototypes in the LOGIDATA+ Project. LOGIDATA+: Deductive Databases with Complex Objects 1993 : 252-273 Domenico Saccà, Brigitte Verdonk , Dirk Vermeir : Evolution of Knowledge Bases. EDBT 1992 : 230-244 Natraj Arni , Sergio Greco , Domenico Saccà: Set-Term Matching in Logic Programming. ICDT 1992 : 436-449 Fosca Giannotti , Dino Pedreschi , Domenico Saccà, Carlo Zaniolo : Non-Determinism in Deductive Databases. DOOD 1991 : 129-146 Domenico Saccà, Carlo Zaniolo : Partial Models and Three-Valued Models in Logic Programs with Negation. LPNMR 1991 : 87-101 Alberto Marchetti-Spaccamela , Antonella Pelaggi , Domenico Saccà: Comparison of Methods for Logic-Query Implementation. J. Log. Program. 10 (1/2/3&4): 333-360 (1991) Sergio Greco , Domenico Saccà: Negative Logic Programs. NACLP 1990 : 480-497 Domenico Saccà, Carlo Zaniolo : Stable Models and Non-Determinism in Logic Programs with Negation. PODS 1990 : 205-217 Els Laenens , Domenico Saccà, Dirk Vermeir : Extending Logic Programming. SIGMOD Conference 1990 : 184-193 Carlo Zaniolo , Domenico Saccà: Rule Rewriting Methods in the Implementation of the Logic Language LDL. DS-3 1988 : 457-483 Domenico Saccà: Support for Data- and Knowledge-Based Applications - Introduction by the Session Chairman. EDBT 1988 : 549-550 Domenico Saccà, Carlo Zaniolo : Differential Fixpoint Methods and Stratification of Logic Programs. JCDKB 1988 : 49-58 Pasquale Rullo , Domenico Saccà: An Automatic Physical Designer for Network Model Databases. IEEE Trans. Software Eng. 14 (9): 1293-1306 (1988) Domenico Saccà, Carlo Zaniolo : The Generalized Counting Method for Recursive Logic Queries. Theor. Comput. Sci. 62 (1-2): 187-220 (1988) Domenico Saccà, Carlo Zaniolo : Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. ICLP 1987 : 104-135 Alberto Marchetti-Spaccamela , Antonella Pelaggi , Domenico Saccà: Worst-case Complexity Analysis of Methods for Logic Query Implementation. PODS 1987 : 294-301 Domenico Saccà, Carlo Zaniolo : Magic Counting Methods. SIGMOD Conference 1987 : 49-59 Domenico Saccà, M. Dispinzeri , A. Mecchia , Clara Pizzuti , C. Del Gracco , Paolo Naggar : The Advanced Database Environment of the KIWI System. IEEE Data Eng. Bull. 10 (4): 20-27 (1987) Carlo Zaniolo , Domenico Saccà: Rule Rewriting Methods for Efficient Implementations of Horn Logic. Foundations of Logic and Functional Programming 1986 : 114-139 Pasquale Rullo , Domenico Saccà, Qinsi Zhong : An Approximation Algorithm for the Physical Access Path Selection in the CODASYL Environment. ICDE 1986 : 200-207 Domenico Saccà, Carlo Zaniolo : The Generalized Counting Method for Recursive Logic Queries. ICDT 1986 : 31-53 Domenico Saccà, Carlo Zaniolo : On the Implementation of a Simple Class of Logic Queries for Databases. PODS 1986 : 16-23 Domenico Saccà, F. Manfredi , A. Mecchia : Properties of Database Schemata with Functional Dependencies. Advances in Computing Research 3 : 107-137 (1986) Giorgio Ausiello , Alessandro D'Atri , Domenico Saccà: Minimal Representation of Directed Hypergraphs. SIAM J. Comput. 15 (2): 418-431 (1986) Salvatore Orlando , Pasquale Rullo , Domenico Saccà, Witold Staniszkis : Integrated Tools for Physical Database Design in CODASYL Environment. Computer-Aided Database Design: the DATAID approach 1985 : 131- Domenico Saccà, Gio Wiederhold : Database Partitioning in a Cluster of Processors. ACM Trans. Database Syst. 10 (1): 29-56 (1985) Domenico Saccà: Closures of Database Hypergraphs J. ACM 32 (4): 774-803 (1985) Domenico Saccà, F. Manfredi , A. Mecchia : Properties of Database Schemata with Functional Dependencies. PODS 1984 : 19-28 Alessandro D'Atri , Domenico Saccà: Equivalence and Mapping of Database Schemes. VLDB 1984 : 187-195 Domenico Saccà: On the Recognition of Coverings of Acyclic Database Hypergraphs. PODS 1983 : 297-304 Domenico Saccà, Gio Wiederhold : Database Partitioning in a Cluster of Processors. VLDB 1983 : 242-247 Witold Staniszkis , Domenico Saccà, F. Manfredi , A. Mecchia : Physical Data Base Design for Codasyl DBMS. Methodology and Tools for Data Base Design 1983 : 119-148 Giorgio Ausiello , Alessandro D'Atri , Domenico Saccà: Graph Algorithms for Functional Dependency Manipulation J. ACM 30 (4): 752-766 (1983) 1 [ 71 ] 2 [ 31 ] [ 40 ] 3 [ 33 ] 4 [ 1 ] [ 10 ] 5 [ 33 ] 6 [ 53 ] [ 57 ] [ 59 ] 7 [ 52 ] [ 68 ] [ 70 ] [ 76 ] [ 78 ] [ 79 ] [ 82 ] 8 [ 33 ] 9 [ 50 ] 10 [ 71 ] [ 74 ] [ 75 ] 11 [ 74 ] [ 75 ] 12 [ 33 ] 13 [ 33 ] 14 [ 85 ] 15 [ 1 ] [ 5 ] [ 10 ] 16 [ 16 ] 17 [ 42 ] [ 43 ] [ 48 ] [ 55 ] 18 [ 86 ] 19 [ 56 ] [ 89 ] 20 [ 33 ] 21 [ 70 ] [ 76 ] [ 79 ] [ 82 ] [ 85 ] 22 [ 30 ] [ 47 ] 23 [ 16 ] 24 [ 84 ] [ 87 ] [ 88 ] [ 90 ] 25 [ 27 ] [ 31 ] [ 33 ] [ 35 ] [ 36 ] [ 37 ] [ 39 ] [ 40 ] [ 44 ] [ 47 ] [ 49 ] [ 51 ] [ 52 ] [ 54 ] [ 63 ] [ 65 ] [ 73 ] [ 80 ] [ 89 ] 26 [ 84 ] [ 87 ] [ 88 ] [ 90 ] 27 [ 25 ] 28 [ 33 ] 29 [ 79 ] 30 [ 34 ] [ 42 ] [ 43 ] [ 48 ] [ 55 ] [ 60 ] 31 [ 83 ] [ 84 ] 32 [ 2 ] [ 6 ] [ 11 ] 33 [ 18 ] [ 28 ] 34 [ 33 ] 35 [ 2 ] [ 6 ] [ 11 ] [ 16 ] 36 [ 33 ] 37 [ 16 ] 38 [ 9 ] 39 [ 83 ] 40 [ 33 ] [ 50 ] [ 53 ] [ 56 ] [ 57 ] [ 58 ] [ 59 ] [ 60 ] [ 61 ] [ 62 ] [ 64 ] [ 66 ] [ 67 ] [ 69 ] [ 72 ] [ 77 ] [ 81 ] 41 [ 30 ] 42 [ 18 ] [ 28 ] 43 [ 33 ] 44 [ 16 ] 45 [ 67 ] [ 78 ] [ 86 ] [ 90 ] 46 [ 74 ] [ 75 ] 47 [ 34 ] [ 35 ] 48 [ 68 ] [ 70 ] [ 78 ] 49 [ 86 ] 50 [ 9 ] [ 14 ] [ 21 ] [ 34 ] [ 71 ] [ 86 ] 51 [ 33 ] 52 [ 33 ] 53 [ 82 ] 54 [ 33 ] 55 [ 2 ] [ 9 ] 56 [ 33 ] 57 [ 69 ] [ 72 ] [ 77 ] [ 81 ] 58 [ 33 ] 59 [ 50 ] [ 53 ] [ 56 ] [ 57 ] [ 58 ] [ 59 ] [ 61 ] [ 62 ] [ 64 ] [ 66 ] [ 67 ] [ 69 ] [ 72 ] [ 77 ] [ 81 ] 60 [ 32 ] 61 [ 25 ] [ 32 ] 62 [ 3 ] [ 8 ] 63 [ 12 ] [ 13 ] [ 15 ] [ 17 ] [ 19 ] [ 20 ] [ 22 ] [ 24 ] [ 26 ] [ 29 ] [ 30 ] [ 36 ] [ 37 ] [ 39 ] [ 45 ] [ 47 ] [ 63 ] [ 73 ] 64 [ 14 ] 65 [ 89 ]  ©2004 Association for Computing Machinery |
