Domenico Saccà

Loading Google Thumbnails...
2012
141A probabilistic framework for estimating the accuracy of aggregate range queries evaluated over histograms. Francesco Buccafurri, Filippo Furfaro, Domenico Saccà. Inf. Sci. (188): 121-150 (2012). Web SearchBibTeXDownload
2011
140A quad-tree based multiresolution approach for two-dimensional summary data. Francesco Buccafurri, Filippo Furfaro, Giuseppe M. Mazzeo, Domenico Saccà. Inf. Syst. (36): 1082-1103 (2011). Web SearchBibTeXDownload
139A long tour from theory to practice. Sergio Greco, Nicola Leone, Luigi Palopoli, Pasquale Rullo, Domenico Saccà. Intelligenza Artificiale (5): 133-138 (2011). Web SearchBibTeXDownload
138Simulations on workflow management systems: A framework based on event choice datalog. Gianluigi Greco, Antonella Guzzo, Domenico Saccà. Intelligenza Artificiale (5): 189-206 (2011). Web SearchBibTeXDownload
137Hand-OLAP: Semantics-Aware Compression of Data Cubes for Effective and Efficient OLAP in Mobile Enviroments. Alfredo Cuzzocrea, Domenico Saccà. Mobile Data Management (1) 2011, 345-348. Web SearchBibTeXDownload
2010
136Balancing accuracy and privacy of OLAP aggregations on data cubes. Alfredo Cuzzocrea, Domenico Saccà. DOLAP 2010, 93-98. Web SearchBibTeXDownload
135Integrating Semantics within Compressed OLAP Views in the Hand-OLAP System (Extended Abstract). Alfredo Cuzzocrea, Domenico Saccà, Paolo Serafino. SEBD 2010, 282-289. Web SearchBibTeX
2009
134A Semantic Clinical Knowledge Representation Framework for Effective Health Care Risk Management. Ermelinda Oro, Massimo Ruffolo, Domenico Saccà. BIS 2009, 25-36. Web SearchBibTeXDownload
133An Effective Approach to Inverse Frequent Set Mining. Antonella Guzzo, Domenico Saccà, Edoardo Serra. ICDM 2009, 806-811. Web SearchBibTeXDownload
132Delivering Semantics-aware Compressed OLAP Views in Mobile Environments with Hand-OLAP. Alfredo Cuzzocrea, Domenico Saccà. ICTAI 2009, 206-213. Web SearchBibTeXDownload
131Ontology-Based Information Extraction from PDF Documents with Xonto. Ermelinda Oro, Massimo Ruffolo, Domenico Saccà. International Journal on Artificial Intelligence Tools (18): 673-695 (2009). Web SearchBibTeXDownload
130Enabling OLAP in mobile environments via intelligent data cube compression techniques. Alfredo Cuzzocrea, Filippo Furfaro, Domenico Saccà. J. Intell. Inf. Syst. (33): 95-143 (2009). Web SearchBibTeXDownload
129Combining Attribute Grammars and Ontologies for Extracting Information from PDF Documents. Ermelinda Oro, Massimo Ruffolo, Domenico Saccà. SEBD 2009, 153-160. Web SearchBibTeX
128Privacy Preserving OLAP by Sampling. Alfredo Cuzzocrea, Vincenzo Russo, Domenico Saccà. SEBD 2009, 373-380. Web SearchBibTeX
2008
127A Robust Sampling-Based Framework for Privacy Preserving OLAP. Alfredo Cuzzocrea, Vincenzo Russo, Domenico Saccà. DaWaK 2008, 97-114. Web SearchBibTeXDownload
126High-Performance Data Management and Efficient Aggregate Query Answering on Environmental Sensor Networks by Computational Grids. Alfredo Cuzzocrea, Salvatore Gabriele, Domenico Saccà. DEXA Workshops 2008, 359-364. Web SearchBibTeXDownload
125A Process-Driven Methodology for Continuous Information Systems Modeling. Alfredo Cuzzocrea, Andrea Gualtieri, Domenico Saccà. ICEIS (3-2) 2008, 82-88. Web SearchBibTeX
124H-IQTS: a semantics-aware histogram for compressing categorical OLAP data. Alfredo Cuzzocrea, Domenico Saccà. IDEAS 2008, 209-217. Web SearchBibTeXDownload
123Compressed hierarchical binary histograms for summarizing multi-dimensional data. Filippo Furfaro, Giuseppe M. Mazzeo, Domenico Saccà, Cristina Sirangelo. Knowl. Inf. Syst. (15): 335-380 (2008). Web SearchBibTeXDownload
122A Probabilistic Framework for Building Privacy-Preserving Synopses of Multi-dimensional Data. Filippo Furfaro, Giuseppe M. Mazzeo, Domenico Saccà. SSDBM 2008, 114-130. Web SearchBibTeXDownload
121Enhancing histograms by tree-like bucket indices. Francesco Buccafurri, Gianluca Lax, Domenico Saccà, Luigi Pontieri, Domenico Rosaci. VLDB J. (17): 1041-1061 (2008). Web SearchBibTeXDownload
2007
120Process Mining Based on Clustering: A Quest for Precision. Ana Karla Alves de Medeiros, Antonella Guzzo, Gianluigi Greco, Wil M. P. van der Aalst, A. J. M. M. Weijters, Boudewijn F. van Dongen, Domenico Saccà. Business Process Management Workshops 2007, 17-29. Web SearchBibTeXDownload
119Grid-VirtuE: A Layered Architecture for Grid Virtual Enterprises. Alfredo Cuzzocrea, Alessandro D'Atri, Andrea Gualtieri, Amihai Motro, Domenico Saccà. CONFENIS (1) 2007, 33-42. Web SearchBibTeXDownload
118Semantics-Aware Advanced OLAP Visualization of Multidimensional Data Cubes. Alfredo Cuzzocrea, Domenico Saccà, Paolo Serafino. IJDWM (3): 1-30 (2007). Web SearchBibTeXDownload
117Mining unconnected patterns in workflows. Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà. Inf. Syst. (32): 685-712 (2007). Web SearchBibTeXDownload
116Advanced OLAP Visualization of Multidimensional Data Cubes: A Semantics-Driven Compression Approach. Alfredo Cuzzocrea, Vincenzo Russo, Domenico Saccà, Paolo Serafino. SEBD 2007, 365-372. Web SearchBibTeX
2006
115A Hierarchy-Driven Compression Technique for Advanced OLAP Visualization of Multidimensional Data Cubes. Alfredo Cuzzocrea, Domenico Saccà, Paolo Serafino. DaWaK 2006, 106-119. Web SearchBibTeXDownload
114An XML-based multi-agent system to support an adaptive cultural heritage learning. Nunzio Casalino, Alessandro D'Atri, Alfredo Garro, Pasquale Rullo, Domenico Saccà, Domenico Ursino. ICN/ICONS/MCL 2006, 224. Web SearchBibTeXDownload
113Discovering Expressive Process Models by Clustering Log Traces. Gianluigi Greco, Antonella Guzzo, Luigi Pontieri, Domenico Saccà. IEEE Trans. Knowl. Data Eng. (18): 1010-1027 (2006). Web SearchBibTeXDownload
112A Logic-Based Tool for Semantic Information Extraction. Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà. JELIA 2006, 506-510. Web SearchBibTeXDownload
111Efficiently Representing and Querying Sensor Network Readings on Data Grids. Alfredo Cuzzocrea, Filippo Furfaro, Elio Masciari, Giuseppe M. Mazzeo, Domenico Saccà. SEBD 2006, 373-382. Web SearchBibTeX
110Towards a Semantic Information Extraction Approach from Unstructured Documents. Massimo Ruffolo, Lorenzo Gallucci, Nicola Leone, Marco Manna, Domenico Saccà. SEBD 2006, 167-174. Web SearchBibTeX
109Progresses on Tree-Based Approaches to Improving Histogram Accuracy. Francesco Buccafurri, Gianluca Lax, Domenico Saccà. SEBD 2006, 147-158. Web SearchBibTeX
2005
108Semi-Inflationary DATALOG: A declarative database language with procedural features. Antonella Guzzo, Domenico Saccà. AI Commun. (18): 79-92 (2005). Web SearchBibTeXDownload
107Exploiting ASP for Semantic Information Extraction. Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto. Answer Set Programming 2005. Web SearchBibTeXDownload
106Enhancing Histograms by Tree-Like Bucket Indices. Francesco Buccafurri, Gianluca Lax, Domenico Saccà, Luigi Pontieri, Domenico Rosaci. CoRR (abs/cs/0501020) (2005). Web SearchBibTeXDownload
105Estimating Range Queries using Aggregate Data with Integrity Constraints: a Probabilistic Approach. Francesco Buccafurri, Filippo Furfaro, Domenico Saccà. CoRR (abs/cs/0501029) (2005). Web SearchBibTeXDownload
104Mining and Reasoning on Workflows. Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà. IEEE Trans. Knowl. Data Eng. (17): 519-534 (2005). Web SearchBibTeXDownload
103A Distributed System for Answering Range Queries on Sensor Network Data. Alfredo Cuzzocrea, Filippo Furfaro, Sergio Greco, Elio Masciari, Giuseppe M. Mazzeo, Domenico Saccà. PerCom Workshops 2005, 369-373. Web SearchBibTeXDownload
102A Data Mining-based Framework for GridWorkflow Management. Antonio Congiusta, Domenico Talia, Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Luigi Pontieri, Domenico Saccà. QSIC 2005, 349-356. Cited by 2Web SearchBibTeXDownload
101Hierarchical binary histograms for summarizing multi-dimensional data. Filippo Furfaro, Giuseppe M. Mazzeo, Domenico Saccà, Cristina Sirangelo. SAC 2005, 598-603. Web SearchBibTeXDownload
100Mining Unconnected Patterns in Workflows. Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà. SDM 2005. Web SearchBibTeX
99Mining Correlations in Workflows Executions. Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà. SEBD 2005, 137-148. Web SearchBibTeX
2004
98Mining Constrained Graphs: The Case of Workflow Systems. Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Luigi Pontieri, Domenico Saccà. Constraint-Based Mining and Inductive Databases 2004, 155-171. Web SearchBibTeXDownload
97An Ontology-Driven Process Modeling Framework. Gianluigi Greco, Antonella Guzzo, Luigi Pontieri, Domenico Saccà. DEXA 2004, 13-23. Web SearchBibTeXDownload
96A Grid Framework for Approximate Aggregate Query Answering on Summarized Sensor Network Readings. Alfredo Cuzzocrea, Filippo Furfaro, Giuseppe M. Mazzeo, Domenico Saccà. OTM Workshops 2004, 144-153. Web SearchBibTeXDownload
95Mining Expressive Process Models by Clustering Workflow Traces. Gianluigi Greco, Antonella Guzzo, Luigi Pontieri, Domenico Saccà. PAKDD 2004, 52-62. Web SearchBibTeXDownload
94Event choice datalog: a logic programming language for reasoning in multiple dimensions. Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello. PPDP 2004, 238-249. Web SearchBibTeXDownload
93On the Mining of Complex Schemas. Gianluigi Greco, Antonella Guzzo, Luigi Pontieri, Domenico Saccà. SEBD 2004, 118-129. Web SearchBibTeX
92A New Histogram-based Technique for Compressing Multi-Dimensional Data. Filippo Furfaro, Giuseppe M. Mazzeo, Domenico Saccà, Cristina Sirangelo. SEBD 2004, 18-29. Web SearchBibTeX
2003
91Reasoning on Workflow Executions. Gianluigi Greco, Antonella Guzzo, Domenico Saccà. ADBIS 2003, 205-219. Web SearchBibTeXDownload
90A Logic Programming Approach for Planning Workflows Evolutions. Gianluigi Greco, Antonella Guzzo, Domenico Saccà. APPIA-GULP-PRODE 2003, 75-85. Web SearchBibTeX
89A Logic-Based Formalism to Model and Analyze Workflow Executions. Gianluigi Greco, Antonella Guzzo, Domenico Saccà. CAiSE Short Paper Proceedings 2003. Web SearchBibTeXDownload
88A Prototypal Environment for Collaborative Work within a Research Organization. M. Ettorre, Luigi Pontieri, Massimo Ruffolo, Pasquale Rullo, Domenico Saccà. DEXA Workshops 2003, 274-279. Web SearchBibTeXDownload
87Uniform Techniques for Deriving Similarities of Objects and Subschemes in Heterogeneous Databases. Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino. IEEE Trans. Knowl. Data Eng. (15): 271-294 (2003). Web SearchBibTeXDownload
86Hand-OLAP: A System for Delivering OLAP Services on Handheld Devices. Alfredo Cuzzocrea, Filippo Furfaro, Domenico Saccà. ISADS 2003, 80-87. Web SearchBibTeXDownload
85Mining Frequent Instances on Workflows. Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà. PAKDD 2003, 209-221. Web SearchBibTeXDownload
84Similarity-Based Clustering of Web Transactions. Giuseppe Manco, Riccardo Ortale, Domenico Saccà. SAC 2003, 1212-1216. Web SearchBibTeX
83A Quad-Tree Based Multiresolution Approach for Two-dimensional Summary Data. Francesco Buccafurri, Filippo Furfaro, Domenico Saccà, Cristina Sirangelo. SSDBM 2003, 127-140. Web SearchBibTeXDownload
2002
82Search and Optimization Problems in Datalog. Sergio Greco, Domenico Saccà. Computational Logic: Logic Programming and Beyond 2002, 61-82. Web SearchBibTeXDownload
81A technique for deriving hyponymies and overlappings from database schemes. Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino. Data Knowl. Eng. (40): 285-314 (2002). Web SearchBibTeXDownload
80Binary-Tree Histograms with Tree Indices. Francesco Buccafurri, Filippo Furfaro, Gianluca Lax, Domenico Saccà. DEXA 2002, 861-870. Web SearchBibTeXDownload
79Improving Range Query Estimation on Histograms. Francesco Buccafurri, Domenico Rosaci, Luigi Pontieri, Domenico Saccà. ICDE 2002, 628-638. Web SearchBibTeXDownload
2001
78Extending stratified datalog to capture complexity classes ranging from P to QH. Sergio Greco, Domenico Saccà, Carlo Zaniolo. Acta Inf. (37): 699-725 (2001). Cited by 9Web SearchBibTeXDownload
77Estimating Range Queries Using Aggregate Data with Integrity Constraints: A Probabilistic Approach. Francesco Buccafurri, Filippo Furfaro, Domenico Saccà. ICDT 2001, 390-404. Web SearchBibTeXDownload
76Semantic Lossy Compression of XML Data. Mario Cannataro, Gianluca Carelli, Andrea Pugliese, Domenico Saccà. KRDB 2001. Web SearchBibTeXDownload
75Compressione Semantica con Perdita di Documenti XML. Mario Cannataro, Gianluca Carelli, Andrea Pugliese, Domenico Saccà. SEBD 2001, 315-329. Web SearchBibTeX
2000
74Semi-automatic Extraction of Hyponymies and Overlappings from Heterogeneous Database Schemes. Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino. DEXA 2000, 614-623. Web SearchBibTeXDownload
73Transmitting Datacubes over Congested Networks. Andres Albanese, Mario Cannataro, Pasquale Rullo, Domenico Saccà. ITCC 2000, 360-367. Web SearchBibTeXDownload
72Estimating range queries using aggregate data. Francesco Buccafurri, Filippo Furfaro, Domenico Rosaci, Domenico Saccà. SEBD 2000, 7-20. Web SearchBibTeX
1999
71A Unified Graph-Based Framework for Deriving Nominal Interscheme Properties, Type Conflicts and Object Cluster Similarities. Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino. CoopIS 1999, 34-45. Web SearchBibTeXDownload
70Semi-Automatic Techniques for Deriving Interscheme Properties from Database Schemes. Luigi Palopoli, Domenico Saccà, Domenico Ursino. Data Knowl. Eng. (30): 239-273 (1999). Web SearchBibTeXDownload
69Compressed Datacubes for fast OLAP Applications. Francesco Buccafurri, Domenico Rosaci, Domenico Saccà. DaWaK 1999, 65-77. Web SearchBibTeXDownload
68Complexity and Expressive Power of Deterministic Semantics for DATALOG¬. Sergio Greco, Domenico Saccà. Inf. Comput. (153): 81-98 (1999). Web SearchBibTeXDownload
67DLP: A Description Logic for Extracting and Managing Complex Terminological and Structural Properties from Database Schemes. Luigi Palopoli, Domenico Saccà, Domenico Ursino. Inf. Syst. (24): 401-424 (1999). Web SearchBibTeXDownload
66Grammars and Automata to Optimize Chain Logic Queries. Sergio Greco, Domenico Saccà, Carlo Zaniolo. Int. J. Found. Comput. Sci. (10): 349 (1999). Cited by 5Web SearchBibTeX
65Progettazione Semi-Automatica di Data Warehouse di Grandi Dimensioni . Luigi Palopoli, Luigi Pontieri, Domenico Saccà, Domenico Ursino. SEBD 1999, 3-17. Web SearchBibTeX
1998
64An Automatic Techniques for Detecting Type Conflicts in Database Schemes. Luigi Palopoli, Domenico Saccà, Domenico Ursino. CIKM 1998, 306-313. Web SearchBibTeXDownload
63Automatic Derivation of Terminological Properties from Database Schemes. Luigi Palopoli, Domenico Saccà, Domenico Ursino. DEXA 1998, 90-99. Web SearchBibTeXDownload
62On the Complexity of Search Queries. Nicola Leone, Luigi Palopoli, Domenico Saccà. FMLDO 1998, 113-127. Web SearchBibTeX
61Automatic Extraction of Database Scheme Semantic Properties Using Knowledge Discovery Techniques. Angela Bonifati, Luigi Palopoli, Domenico Saccà, Domenico Ursino. IADT 1998, 392-399. Cited by 8Web SearchBibTeX
60Semi-Automatic Semantic Discovery of Properties from Database Schemas. Luigi Palopoli, Domenico Saccà, Domenico Ursino. IDEAS 1998, 244-253. Web SearchBibTeX
59An architecture for accessing a large number of autonomous, heterogeneous databases. Sergio Flesca, Luigi Palopoli, Domenico Saccà, Domenico Ursino. Networking and Information Systems (1): 495-518 (1998). Web SearchBibTeX
58Utilizzo della logica descrittiva per l'estrazione di proprietà terminologiche e strutturali complesse. Angela Bonifati, Luigi Palopoli, Domenico Saccà, Domenico Ursino. SEBD 1998, 71-86. Web SearchBibTeX
57Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases. Thomas Eiter, Nicola Leone, Domenico Saccà. Theor. Comput. Sci. (206): 181-218 (1998). Web SearchBibTeXDownload
1997
56"Possible is Certain" is Desirable and Can Be Expressive. Sergio Greco, Domenico Saccà. Ann. Math. Artif. Intell. (19): 147-168 (1997). Web SearchBibTeXDownload
55``Possible is Certain'' is Desirable and Can Be Expressive. Sergio Greco, Domenico Saccà. Ann. Math. Artif. Intell. (19): 147-168 (1997). Web SearchBibTeX
54Programming with Non-Determinism in Deductive Databases. Fosca Giannotti, Sergio Greco, Domenico Saccà, Carlo Zaniolo. Ann. Math. Artif. Intell. (19): 97-125 (1997). Cited by 41Web SearchBibTeXDownload
53On the Partial Semantics for Disjunctive Deductive Databases. Thomas Eiter, Nicola Leone, Domenico Saccà. Ann. Math. Artif. Intell. (19): 59-96 (1997). Web SearchBibTeXDownload
52Discovering description logic assertions from database schemes. Angela Bonifati, Luigi Palopoli, Domenico Saccà, Domenico Ursino. Description Logics 1997. Cited by 7Web SearchBibTeXDownload
51Deterministic Semantics for Datalog¬: Complexity and Expressive Power. Sergio Greco, Domenico Saccà. DOOD 1997, 337-350. Web SearchBibTeXDownload
50The Expressive Power of Unique Total Stable Model Semantics. Francesco Buccafurri, Sergio Greco, Domenico Saccà. ICALP 1997, 849-859. Web SearchBibTeXDownload
49NP Optimization Problems in Datalog. Sergio Greco, Domenico Saccà. ILPS 1997, 181-195. Web SearchBibTeX
48The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries. Domenico Saccà. J. Comput. Syst. Sci. (54): 441-464 (1997). Web SearchBibTeXDownload
47Deterministic and Non-Deterministic Stable Models. Domenico Saccà, Carlo Zaniolo. J. Log. Comput. (7): 555-579 (1997). Cited by 21Web SearchBibTeXDownload
46Knowledge Discovery su Schemi per l'Integrazione di Basi di Dati. Massimo La Camera, Luigi Palopoli, Domenico Saccà, Domenico Ursino. SEBD 1997, 166-190. Web SearchBibTeX
1996
45Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases. Thomas Eiter, Nicola Leone, Domenico Saccà. APPIA-GULP-PRODE 1996, 271-282. Web SearchBibTeX
44The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract). Sergio Greco, Domenico Saccà. ASIAN 1996, 33-42. Web SearchBibTeXDownload
43Partial Semantics for Disjunctive Deductive Databases. Thomas Eiter, Nicola Leone, Domenico Saccà. DEXA 1996, 564-573. Web SearchBibTeXDownload
42Multiple Total Stable Models are Definitely Needed to Solve Unique Solution Problems. Domenico Saccà. Inf. Process. Lett. (58): 249-254 (1996). Web SearchBibTeXDownload
41Matching of Bounded Set Terms in the Logic Language LDL++. Natraj Arni, Sergio Greco, Domenico Saccà. J. Log. Program. (27): 73-87 (1996). Web SearchBibTeXDownload
40The Expressive Power of Partial Models in Disjunctive Deductive Databases. Thomas Eiter, Nicola Leone, Domenico Saccà. Logic in Databases 1996, 245-264. Web SearchBibTeXDownload
1995
39The PushDown Method to Optimize Chain Logic Programs (Extended Abstract). Sergio Greco, Domenico Saccà, Carlo Zaniolo. ICALP 1995, 523-534. Cited by 11Web SearchBibTeXDownload
38Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries. Domenico Saccà. ICDT 1995, 353-367. Web SearchBibTeXDownload
37DATALOG Queries with Stratified Negation and Choice: from P to DP. Sergio Greco, Domenico Saccà, Carlo Zaniolo. ICDT 1995, 82-96. Cited by 31Web SearchBibTeXDownload
1993
36Dynamic Programming Optimization for Logic Queries with Aggregates. Sergio Greco, Domenico Saccà, Carlo Zaniolo. ILPS 1993, 575-589. Cited by 13Web SearchBibTeX
35Evaluation of Negative Logic Programs. Sergio Greco, Massimo Romeo, Domenico Saccà. LOGIDATA+: Deductive Databases with Complex Objects 1993, 148-158. Web SearchBibTeXDownload
34Prototypes in the LOGIDATA+ Project. 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. LOGIDATA+: Deductive Databases with Complex Objects 1993, 252-273. Web SearchBibTeXDownload
33Effective Implementation of Negation in Database Logic Query Languages. Nicola Leone, Massimo Romeo, Pasquale Rullo, Domenico Saccà. LOGIDATA+: Deductive Databases with Complex Objects 1993, 159-175. Web SearchBibTeXDownload
1992
32Evolution of Knowledge Bases. Domenico Saccà, Brigitte Verdonk, Dirk Vermeir. EDBT 1992, 230-244. Web SearchBibTeXDownload
31Set-Term Matching in Logic Programming. Natraj Arni, Sergio Greco, Domenico Saccà. ICDT 1992, 436-449. Web SearchBibTeXDownload
1991
30Non-Determinism in Deductive Databases. Fosca Giannotti, Dino Pedreschi, Domenico Saccà, Carlo Zaniolo. DOOD 1991, 129-146. Cited by 65Web SearchBibTeXDownload
29Comparison of Methods for Logic-Query Implementation. Alberto Marchetti-Spaccamela, Antonella Pelaggi, Domenico Saccà. J. Log. Program. (10): 333-360 (1991). Web SearchBibTeXDownload
28Partial Models and Three-Valued Models in Logic Programs with Negation. Domenico Saccà, Carlo Zaniolo. LPNMR 1991, 87-101. Cited by 20Web SearchBibTeX
1990
27Negative Logic Programs. Sergio Greco, Domenico Saccà. NACLP 1990, 480-497. Web SearchBibTeX
26Stable Models and Non-Determinism in Logic Programs with Negation. Domenico Saccà, Carlo Zaniolo. PODS 1990, 205-217. Cited by 2Web SearchBibTeX
25Extending Logic Programming. Els Laenens, Domenico Saccà, Dirk Vermeir. SIGMOD Conference 1990, 184-193. Web SearchBibTeX
1988
24Rule Rewriting Methods in the Implementation of the Logic Language LDL. Carlo Zaniolo, Domenico Saccà. DS-3 1988, 457-483. Web SearchBibTeX
23Support for Data- and Knowledge-Based Applications - Introduction by the Session Chairman. Domenico Saccà. EDBT 1988, 549-550. Web SearchBibTeXDownload
22An Automatic Physical Designer for Network Model Databases. Pasquale Rullo, Domenico Saccà. IEEE Trans. Software Eng. (14): 1293-1306 (1988). Web SearchBibTeXDownload
21Differential Fixpoint Methods and Stratification of Logic Programs. Domenico Saccà, Carlo Zaniolo. JCDKB 1988, 49-58. Cited by 13Web SearchBibTeX
20The Generalized Counting Method for Recursive Logic Queries. Domenico Saccà, Carlo Zaniolo. Theor. Comput. Sci. (62): 187-220 (1988). Cited by 95Web SearchBibTeXDownload
1987
19Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. Domenico Saccà, Carlo Zaniolo. ICLP 1987, 104-135. Cited by 48Web SearchBibTeX
18The Advanced Database Environment of the KIWI System. Domenico Saccà, M. Dispinzeri, A. Mecchia, Clara Pizzuti, C. Del Gracco, Paolo Naggar. IEEE Data Eng. Bull. (10): 20-27 (1987). Web SearchBibTeXDownload
17Worst-case Complexity Analysis of Methods for Logic Query Implementation. Alberto Marchetti-Spaccamela, Antonella Pelaggi, Domenico Saccà. PODS 1987, 294-301. Web SearchBibTeX
16Magic Counting Methods. Domenico Saccà, Carlo Zaniolo. SIGMOD Conference 1987, 49-59. Web SearchBibTeX
1986
15Properties of Database Schemata with Functional Dependencies. Domenico Saccà, F. Manfredi, A. Mecchia. Advances in Computing Research (3): 107-137 (1986). Web SearchBibTeX
14Rule Rewriting Methods for Efficient Implementations of Horn Logic. Carlo Zaniolo, Domenico Saccà. Foundations of Logic and Functional Programming 1986, 114-139. Cited by 12Web SearchBibTeXDownload
13An Approximation Algorithm for the Physical Access Path Selection in the CODASYL Environment. Pasquale Rullo, Domenico Saccà, Qinsi Zhong. ICDE 1986, 200-207. Web SearchBibTeX
12The Generalized Counting Method for Recursive Logic Queries. Domenico Saccà, Carlo Zaniolo. ICDT 1986, 31-53. Cited by 95Web SearchBibTeXDownload
11On the Implementation of a Simple Class of Logic Queries for Databases. Domenico Saccà, Carlo Zaniolo. PODS 1986, 16-23. Cited by 70Web SearchBibTeX
10Minimal Representation of Directed Hypergraphs. Giorgio Ausiello, Alessandro D'Atri, Domenico Saccà. SIAM J. Comput. (15): 418-431 (1986). Web SearchBibTeXDownload
1985
9Database Partitioning in a Cluster of Processors. Domenico Saccà, Gio Wiederhold. ACM Trans. Database Syst. (10): 29-56 (1985). Web SearchBibTeXDownload
8Integrated Tools for Physical Database Design in CODASYL Environment. Salvatore Orlando, Pasquale Rullo, Domenico Saccà, Witold Staniszkis. Computer-Aided Database Design: the DATAID approach 1985, 131. Web SearchBibTeX
7Closures of Database Hypergraphs. Domenico Saccà. J. ACM (32): 774-803 (1985). Web SearchBibTeXDownload
1984
6Properties of Database Schemata with Functional Dependencies. Domenico Saccà, F. Manfredi, A. Mecchia. PODS 1984, 19-28. Web SearchBibTeX
5Equivalence and Mapping of Database Schemes. Alessandro D'Atri, Domenico Saccà. VLDB 1984, 187-195. Web SearchBibTeX
1983
4Graph Algorithms for Functional Dependency Manipulation. Giorgio Ausiello, Alessandro D'Atri, Domenico Saccà. J. ACM (30): 752-766 (1983). Web SearchBibTeXDownload
3Physical Data Base Design for Codasyl DBMS. Witold Staniszkis, Domenico Saccà, F. Manfredi, A. Mecchia. Methodology and Tools for Data Base Design 1983, 119-148. Web SearchBibTeX
2On the Recognition of Coverings of Acyclic Database Hypergraphs. Domenico Saccà. PODS 1983, 297-304. Web SearchBibTeX
1Database Partitioning in a Cluster of Processors. Domenico Saccà, Gio Wiederhold. VLDB 1983, 242-247. Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research