| 2012 |
| 141 | A 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 |
| 140 | A 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 |
| 139 | A long tour from theory to practice. Sergio Greco, Nicola Leone, Luigi Palopoli, Pasquale Rullo, Domenico Saccà. Intelligenza Artificiale (5): 133-138 (2011). Web SearchBibTeXDownload |
| 138 | Simulations 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 |
| 137 | Hand-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 |
| 136 | Balancing accuracy and privacy of OLAP aggregations on data cubes. Alfredo Cuzzocrea, Domenico Saccà. DOLAP 2010, 93-98. Web SearchBibTeXDownload |
| 135 | Integrating 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 |
| 134 | A Semantic Clinical Knowledge Representation Framework for Effective Health Care Risk Management. Ermelinda Oro, Massimo Ruffolo, Domenico Saccà. BIS 2009, 25-36. Web SearchBibTeXDownload |
| 133 | An Effective Approach to Inverse Frequent Set Mining. Antonella Guzzo, Domenico Saccà, Edoardo Serra. ICDM 2009, 806-811. Web SearchBibTeXDownload |
| 132 | Delivering Semantics-aware Compressed OLAP Views in Mobile Environments with Hand-OLAP. Alfredo Cuzzocrea, Domenico Saccà. ICTAI 2009, 206-213. Web SearchBibTeXDownload |
| 131 | Ontology-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 |
| 130 | Enabling 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 |
| 129 | Combining Attribute Grammars and Ontologies for Extracting Information from PDF Documents. Ermelinda Oro, Massimo Ruffolo, Domenico Saccà. SEBD 2009, 153-160. Web SearchBibTeX |
| 128 | Privacy Preserving OLAP by Sampling. Alfredo Cuzzocrea, Vincenzo Russo, Domenico Saccà. SEBD 2009, 373-380. Web SearchBibTeX |
| 2008 |
| 127 | A Robust Sampling-Based Framework for Privacy Preserving OLAP. Alfredo Cuzzocrea, Vincenzo Russo, Domenico Saccà. DaWaK 2008, 97-114. Web SearchBibTeXDownload |
| 126 | High-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 |
| 125 | A Process-Driven Methodology for Continuous Information Systems Modeling. Alfredo Cuzzocrea, Andrea Gualtieri, Domenico Saccà. ICEIS (3-2) 2008, 82-88. Web SearchBibTeX |
| 124 | H-IQTS: a semantics-aware histogram for compressing categorical OLAP data. Alfredo Cuzzocrea, Domenico Saccà. IDEAS 2008, 209-217. Web SearchBibTeXDownload |
| 123 | Compressed 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 |
| 122 | A Probabilistic Framework for Building Privacy-Preserving Synopses of Multi-dimensional Data. Filippo Furfaro, Giuseppe M. Mazzeo, Domenico Saccà. SSDBM 2008, 114-130. Web SearchBibTeXDownload |
| 121 | Enhancing 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 |
| 120 | Process 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 |
| 119 | Grid-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 |
| 118 | Semantics-Aware Advanced OLAP Visualization of Multidimensional Data Cubes. Alfredo Cuzzocrea, Domenico Saccà, Paolo Serafino. IJDWM (3): 1-30 (2007). Web SearchBibTeXDownload |
| 117 | Mining unconnected patterns in workflows. Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà. Inf. Syst. (32): 685-712 (2007). Web SearchBibTeXDownload |
| 116 | Advanced 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 |
| 115 | A Hierarchy-Driven Compression Technique for Advanced OLAP Visualization of Multidimensional Data Cubes. Alfredo Cuzzocrea, Domenico Saccà, Paolo Serafino. DaWaK 2006, 106-119. Web SearchBibTeXDownload |
| 114 | An 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 |
| 113 | Discovering 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 |
| 112 | A Logic-Based Tool for Semantic Information Extraction. Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà. JELIA 2006, 506-510. Web SearchBibTeXDownload |
| 111 | Efficiently 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 |
| 110 | Towards a Semantic Information Extraction Approach from Unstructured Documents. Massimo Ruffolo, Lorenzo Gallucci, Nicola Leone, Marco Manna, Domenico Saccà. SEBD 2006, 167-174. Web SearchBibTeX |
| 109 | Progresses on Tree-Based Approaches to Improving Histogram Accuracy. Francesco Buccafurri, Gianluca Lax, Domenico Saccà. SEBD 2006, 147-158. Web SearchBibTeX |
| 2005 |
| 108 | Semi-Inflationary DATALOG: A declarative database language with procedural features. Antonella Guzzo, Domenico Saccà. AI Commun. (18): 79-92 (2005). Web SearchBibTeXDownload |
| 107 | Exploiting ASP for Semantic Information Extraction. Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto. Answer Set Programming 2005. Web SearchBibTeXDownload |
| 106 | Enhancing Histograms by Tree-Like Bucket Indices. Francesco Buccafurri, Gianluca Lax, Domenico Saccà, Luigi Pontieri, Domenico Rosaci. CoRR (abs/cs/0501020) (2005). Web SearchBibTeXDownload |
| 105 | Estimating Range Queries using Aggregate Data with Integrity Constraints: a Probabilistic Approach. Francesco Buccafurri, Filippo Furfaro, Domenico Saccà. CoRR (abs/cs/0501029) (2005). Web SearchBibTeXDownload |
| 104 | Mining and Reasoning on Workflows. Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà. IEEE Trans. Knowl. Data Eng. (17): 519-534 (2005). Web SearchBibTeXDownload |
| 103 | A 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 |
| 102 | A 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 |
| 101 | Hierarchical binary histograms for summarizing multi-dimensional data. Filippo Furfaro, Giuseppe M. Mazzeo, Domenico Saccà, Cristina Sirangelo. SAC 2005, 598-603. Web SearchBibTeXDownload |
| 100 | Mining Unconnected Patterns in Workflows. Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà. SDM 2005. Web SearchBibTeX |
| 99 | Mining Correlations in Workflows Executions. Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà. SEBD 2005, 137-148. Web SearchBibTeX |
| 2004 |
| 98 | Mining 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 |
| 97 | An Ontology-Driven Process Modeling Framework. Gianluigi Greco, Antonella Guzzo, Luigi Pontieri, Domenico Saccà. DEXA 2004, 13-23. Web SearchBibTeXDownload |
| 96 | A 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 |
| 95 | Mining Expressive Process Models by Clustering Workflow Traces. Gianluigi Greco, Antonella Guzzo, Luigi Pontieri, Domenico Saccà. PAKDD 2004, 52-62. Web SearchBibTeXDownload |
| 94 | Event 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 |
| 93 | On the Mining of Complex Schemas. Gianluigi Greco, Antonella Guzzo, Luigi Pontieri, Domenico Saccà. SEBD 2004, 118-129. Web SearchBibTeX |
| 92 | A 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 |
| 91 | Reasoning on Workflow Executions. Gianluigi Greco, Antonella Guzzo, Domenico Saccà. ADBIS 2003, 205-219. Web SearchBibTeXDownload |
| 90 | A Logic Programming Approach for Planning Workflows Evolutions. Gianluigi Greco, Antonella Guzzo, Domenico Saccà. APPIA-GULP-PRODE 2003, 75-85. Web SearchBibTeX |
| 89 | A Logic-Based Formalism to Model and Analyze Workflow Executions. Gianluigi Greco, Antonella Guzzo, Domenico Saccà. CAiSE Short Paper Proceedings 2003. Web SearchBibTeXDownload |
| 88 | A 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 |
| 87 | Uniform 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 |
| 86 | Hand-OLAP: A System for Delivering OLAP Services on Handheld Devices. Alfredo Cuzzocrea, Filippo Furfaro, Domenico Saccà. ISADS 2003, 80-87. Web SearchBibTeXDownload |
| 85 | Mining Frequent Instances on Workflows. Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Domenico Saccà. PAKDD 2003, 209-221. Web SearchBibTeXDownload |
| 84 | Similarity-Based Clustering of Web Transactions. Giuseppe Manco, Riccardo Ortale, Domenico Saccà. SAC 2003, 1212-1216. Web SearchBibTeX |
| 83 | A 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 |
| 82 | Search and Optimization Problems in Datalog. Sergio Greco, Domenico Saccà. Computational Logic: Logic Programming and Beyond 2002, 61-82. Web SearchBibTeXDownload |
| 81 | A 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 |
| 80 | Binary-Tree Histograms with Tree Indices. Francesco Buccafurri, Filippo Furfaro, Gianluca Lax, Domenico Saccà. DEXA 2002, 861-870. Web SearchBibTeXDownload |
| 79 | Improving Range Query Estimation on Histograms. Francesco Buccafurri, Domenico Rosaci, Luigi Pontieri, Domenico Saccà. ICDE 2002, 628-638. Web SearchBibTeXDownload |
| 2001 |
| 78 | Extending 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 |
| 77 | Estimating Range Queries Using Aggregate Data with Integrity Constraints: A Probabilistic Approach. Francesco Buccafurri, Filippo Furfaro, Domenico Saccà. ICDT 2001, 390-404. Web SearchBibTeXDownload |
| 76 | Semantic Lossy Compression of XML Data. Mario Cannataro, Gianluca Carelli, Andrea Pugliese, Domenico Saccà. KRDB 2001. Web SearchBibTeXDownload |
| 75 | Compressione Semantica con Perdita di Documenti XML. Mario Cannataro, Gianluca Carelli, Andrea Pugliese, Domenico Saccà. SEBD 2001, 315-329. Web SearchBibTeX |
| 2000 |
| 74 | Semi-automatic Extraction of Hyponymies and Overlappings from Heterogeneous Database Schemes. Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino. DEXA 2000, 614-623. Web SearchBibTeXDownload |
| 73 | Transmitting Datacubes over Congested Networks. Andres Albanese, Mario Cannataro, Pasquale Rullo, Domenico Saccà. ITCC 2000, 360-367. Web SearchBibTeXDownload |
| 72 | Estimating range queries using aggregate data. Francesco Buccafurri, Filippo Furfaro, Domenico Rosaci, Domenico Saccà. SEBD 2000, 7-20. Web SearchBibTeX |
| 1999 |
| 71 | A 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 |
| 70 | Semi-Automatic Techniques for Deriving Interscheme Properties from Database Schemes. Luigi Palopoli, Domenico Saccà, Domenico Ursino. Data Knowl. Eng. (30): 239-273 (1999). Web SearchBibTeXDownload |
| 69 | Compressed Datacubes for fast OLAP Applications. Francesco Buccafurri, Domenico Rosaci, Domenico Saccà. DaWaK 1999, 65-77. Web SearchBibTeXDownload |
| 68 | Complexity and Expressive Power of Deterministic Semantics for DATALOG¬. Sergio Greco, Domenico Saccà. Inf. Comput. (153): 81-98 (1999). Web SearchBibTeXDownload |
| 67 | DLP: 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 |
| 66 | Grammars 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 |
| 65 | Progettazione Semi-Automatica di Data Warehouse di Grandi Dimensioni . Luigi Palopoli, Luigi Pontieri, Domenico Saccà, Domenico Ursino. SEBD 1999, 3-17. Web SearchBibTeX |
| 1998 |
| 64 | An Automatic Techniques for Detecting Type Conflicts in Database Schemes. Luigi Palopoli, Domenico Saccà, Domenico Ursino. CIKM 1998, 306-313. Web SearchBibTeXDownload |
| 63 | Automatic Derivation of Terminological Properties from Database Schemes. Luigi Palopoli, Domenico Saccà, Domenico Ursino. DEXA 1998, 90-99. Web SearchBibTeXDownload |
| 62 | On the Complexity of Search Queries. Nicola Leone, Luigi Palopoli, Domenico Saccà. FMLDO 1998, 113-127. Web SearchBibTeX |
| 61 | Automatic 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 |
| 60 | Semi-Automatic Semantic Discovery of Properties from Database Schemas. Luigi Palopoli, Domenico Saccà, Domenico Ursino. IDEAS 1998, 244-253. Web SearchBibTeX |
| 59 | An 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 |
| 58 | Utilizzo 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 |
| 57 | Expressive 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 |
| 54 | Programming 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 |
| 53 | On the Partial Semantics for Disjunctive Deductive Databases. Thomas Eiter, Nicola Leone, Domenico Saccà. Ann. Math. Artif. Intell. (19): 59-96 (1997). Web SearchBibTeXDownload |
| 52 | Discovering description logic assertions from database schemes. Angela Bonifati, Luigi Palopoli, Domenico Saccà, Domenico Ursino. Description Logics 1997. Cited by 7Web SearchBibTeXDownload |
| 51 | Deterministic Semantics for Datalog¬: Complexity and Expressive Power. Sergio Greco, Domenico Saccà. DOOD 1997, 337-350. Web SearchBibTeXDownload |
| 50 | The Expressive Power of Unique Total Stable Model Semantics. Francesco Buccafurri, Sergio Greco, Domenico Saccà. ICALP 1997, 849-859. Web SearchBibTeXDownload |
| 49 | NP Optimization Problems in Datalog. Sergio Greco, Domenico Saccà. ILPS 1997, 181-195. Web SearchBibTeX |
| 48 | The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries. Domenico Saccà. J. Comput. Syst. Sci. (54): 441-464 (1997). Web SearchBibTeXDownload |
| 47 | Deterministic and Non-Deterministic Stable Models. Domenico Saccà, Carlo Zaniolo. J. Log. Comput. (7): 555-579 (1997). Cited by 21Web SearchBibTeXDownload |
| 46 | Knowledge 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 |
| 45 | Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases. Thomas Eiter, Nicola Leone, Domenico Saccà. APPIA-GULP-PRODE 1996, 271-282. Web SearchBibTeX |
| 44 | The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract). Sergio Greco, Domenico Saccà. ASIAN 1996, 33-42. Web SearchBibTeXDownload |
| 43 | Partial Semantics for Disjunctive Deductive Databases. Thomas Eiter, Nicola Leone, Domenico Saccà. DEXA 1996, 564-573. Web SearchBibTeXDownload |
| 42 | Multiple Total Stable Models are Definitely Needed to Solve Unique Solution Problems. Domenico Saccà. Inf. Process. Lett. (58): 249-254 (1996). Web SearchBibTeXDownload |
| 41 | Matching of Bounded Set Terms in the Logic Language LDL++. Natraj Arni, Sergio Greco, Domenico Saccà. J. Log. Program. (27): 73-87 (1996). Web SearchBibTeXDownload |
| 40 | The Expressive Power of Partial Models in Disjunctive Deductive Databases. Thomas Eiter, Nicola Leone, Domenico Saccà. Logic in Databases 1996, 245-264. Web SearchBibTeXDownload |
| 1995 |
| 39 | The PushDown Method to Optimize Chain Logic Programs (Extended Abstract). Sergio Greco, Domenico Saccà, Carlo Zaniolo. ICALP 1995, 523-534. Cited by 11Web SearchBibTeXDownload |
| 38 | Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries. Domenico Saccà. ICDT 1995, 353-367. Web SearchBibTeXDownload |
| 37 | DATALOG 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 |
| 36 | Dynamic Programming Optimization for Logic Queries with Aggregates. Sergio Greco, Domenico Saccà, Carlo Zaniolo. ILPS 1993, 575-589. Cited by 13Web SearchBibTeX |
| 35 | Evaluation of Negative Logic Programs. Sergio Greco, Massimo Romeo, Domenico Saccà. LOGIDATA+: Deductive Databases with Complex Objects 1993, 148-158. Web SearchBibTeXDownload |
| 34 | Prototypes 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 |
| 33 | Effective 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 |
| 32 | Evolution of Knowledge Bases. Domenico Saccà, Brigitte Verdonk, Dirk Vermeir. EDBT 1992, 230-244. Web SearchBibTeXDownload |
| 31 | Set-Term Matching in Logic Programming. Natraj Arni, Sergio Greco, Domenico Saccà. ICDT 1992, 436-449. Web SearchBibTeXDownload |
| 1991 |
| 30 | Non-Determinism in Deductive Databases. Fosca Giannotti, Dino Pedreschi, Domenico Saccà, Carlo Zaniolo. DOOD 1991, 129-146. Cited by 65Web SearchBibTeXDownload |
| 29 | Comparison of Methods for Logic-Query Implementation. Alberto Marchetti-Spaccamela, Antonella Pelaggi, Domenico Saccà. J. Log. Program. (10): 333-360 (1991). Web SearchBibTeXDownload |
| 28 | Partial Models and Three-Valued Models in Logic Programs with Negation. Domenico Saccà, Carlo Zaniolo. LPNMR 1991, 87-101. Cited by 20Web SearchBibTeX |
| 1990 |
| 27 | Negative Logic Programs. Sergio Greco, Domenico Saccà. NACLP 1990, 480-497. Web SearchBibTeX |
| 26 | Stable Models and Non-Determinism in Logic Programs with Negation. Domenico Saccà, Carlo Zaniolo. PODS 1990, 205-217. Cited by 2Web SearchBibTeX |
| 25 | Extending Logic Programming. Els Laenens, Domenico Saccà, Dirk Vermeir. SIGMOD Conference 1990, 184-193. Web SearchBibTeX |
| 1988 |
| 24 | Rule Rewriting Methods in the Implementation of the Logic Language LDL. Carlo Zaniolo, Domenico Saccà. DS-3 1988, 457-483. Web SearchBibTeX |
| 23 | Support for Data- and Knowledge-Based Applications - Introduction by the Session Chairman. Domenico Saccà. EDBT 1988, 549-550. Web SearchBibTeXDownload |
| 22 | An Automatic Physical Designer for Network Model Databases. Pasquale Rullo, Domenico Saccà. IEEE Trans. Software Eng. (14): 1293-1306 (1988). Web SearchBibTeXDownload |
| 21 | Differential Fixpoint Methods and Stratification of Logic Programs. Domenico Saccà, Carlo Zaniolo. JCDKB 1988, 49-58. Cited by 13Web SearchBibTeX |
| 20 | The Generalized Counting Method for Recursive Logic Queries. Domenico Saccà, Carlo Zaniolo. Theor. Comput. Sci. (62): 187-220 (1988). Cited by 95Web SearchBibTeXDownload |
| 1987 |
| 19 | Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. Domenico Saccà, Carlo Zaniolo. ICLP 1987, 104-135. Cited by 48Web SearchBibTeX |
| 18 | The 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 |
| 17 | Worst-case Complexity Analysis of Methods for Logic Query Implementation. Alberto Marchetti-Spaccamela, Antonella Pelaggi, Domenico Saccà. PODS 1987, 294-301. Web SearchBibTeX |
| 16 | Magic Counting Methods. Domenico Saccà, Carlo Zaniolo. SIGMOD Conference 1987, 49-59. Web SearchBibTeX |
| 1986 |
| 15 | Properties of Database Schemata with Functional Dependencies. Domenico Saccà, F. Manfredi, A. Mecchia. Advances in Computing Research (3): 107-137 (1986). Web SearchBibTeX |
| 14 | Rule 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 |
| 13 | An Approximation Algorithm for the Physical Access Path Selection in the CODASYL Environment. Pasquale Rullo, Domenico Saccà, Qinsi Zhong. ICDE 1986, 200-207. Web SearchBibTeX |
| 12 | The Generalized Counting Method for Recursive Logic Queries. Domenico Saccà, Carlo Zaniolo. ICDT 1986, 31-53. Cited by 95Web SearchBibTeXDownload |
| 11 | On the Implementation of a Simple Class of Logic Queries for Databases. Domenico Saccà, Carlo Zaniolo. PODS 1986, 16-23. Cited by 70Web SearchBibTeX |
| 10 | Minimal Representation of Directed Hypergraphs. Giorgio Ausiello, Alessandro D'Atri, Domenico Saccà. SIAM J. Comput. (15): 418-431 (1986). Web SearchBibTeXDownload |
| 1985 |
| 9 | Database Partitioning in a Cluster of Processors. Domenico Saccà, Gio Wiederhold. ACM Trans. Database Syst. (10): 29-56 (1985). Web SearchBibTeXDownload |
| 8 | Integrated 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 |
| 7 | Closures of Database Hypergraphs. Domenico Saccà. J. ACM (32): 774-803 (1985). Web SearchBibTeXDownload |
| 1984 |
| 6 | Properties of Database Schemata with Functional Dependencies. Domenico Saccà, F. Manfredi, A. Mecchia. PODS 1984, 19-28. Web SearchBibTeX |
| 5 | Equivalence and Mapping of Database Schemes. Alessandro D'Atri, Domenico Saccà. VLDB 1984, 187-195. Web SearchBibTeX |
| 1983 |
| 4 | Graph Algorithms for Functional Dependency Manipulation. Giorgio Ausiello, Alessandro D'Atri, Domenico Saccà. J. ACM (30): 752-766 (1983). Web SearchBibTeXDownload |
| 3 | Physical 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 |
| 2 | On the Recognition of Coverings of Acyclic Database Hypergraphs. Domenico Saccà. PODS 1983, 297-304. Web SearchBibTeX |
| 1 | Database Partitioning in a Cluster of Processors. Domenico Saccà, Gio Wiederhold. VLDB 1983, 242-247. Web SearchBibTeX |