Domenico Saccà

Orcid: 0000-0003-3584-5372

Affiliations:
  • University of Calabria, DIMES, Rende, Italy


According to our database1, Domenico Saccà authored at least 213 papers between 1980 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Knowledge Discovery su Schemi per l'Integrazione di Basi di Dati.
Proceedings of the 32nd Symposium of Advanced Database Systems, 2024

Innovative Distributed Ledger Technologies for Local Product Traceability in Agro-Touristic Economies.
Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

2023
Security of IoT Devices with PUF-Based ID Tags: Preventing Hardware Substitution by Combining SRAM Cells Pattern Signature and ML Techniques.
Proceedings of the IEEE Intl Conf on Dependable, 2023

Deep Learning/PUF-based Item Identification for Supply Chain Management in a Distributed Ledger Framework.
Proceedings of the Fifth International Conference on Blockchain Computing and Applications, 2023

2022
Machine learning methods for generating high dimensional discrete datasets.
WIREs Data Mining Knowl. Discov., 2022

Towards a Grid-Based Framework for Supporting Range Aggregate Queries Over Big Sensor Network Readings: Overview, Management, and Applications.
Int. J. Distributed Syst. Technol., 2022

Generating Synthetic Discrete Datasets with Machine Learning.
Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

Evaluating Deep Packet Inspection in Large-scale Data Processing.
Proceedings of the 9th International Conference on Future Internet of Things and Cloud, 2022

2021
Exploiting Silicon Fingerprint for Device Authentication Using CMOS-PUF and ECC.
Proceedings of the IEEE International Conference on Smart Internet of Things, 2021

Multi-Sorted Inverse Frequent Itemsets Mining for Generating Realistic No-SQL Datasets (Discussion Paper).
Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021

Panel on "Past and Future of Computer Science Theory" (Discussion Paper).
Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021

PUF-based Smart Tags for Supply Chain Management.
Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021

2020
Modeling and efficiently detecting security-critical sequences of actions.
Future Gener. Comput. Syst., 2020

Smart Data Exchange.
Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020

Gathering Malware Data through High-Interaction Honeypots.
Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020

A Simulation-based and Data-driven Framework for Enabling the Analysis and Design of Business Processes based on Blockchain and Smart Contracts Solutions.
Proceedings of the 3rd Distributed Ledger Technology Workshop Co-located with ITASEC 2020, 2020

2019
Extending inverse frequent itemsets mining to generate realistic datasets: complexity, accuracy and emerging applications.
Data Min. Knowl. Discov., 2019

Using CalcuList To MapReduce Json Documents.
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Simple User Assistance by Data Posting.
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Exotic Compilers as a Malware Evasion Technique.
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

A Knowledge-Based Platform for the Classification of Accounting Documents.
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

An Infrastructure for Service Accountability based on Digital Identity and Blockchain 3.0.
Proceedings of the IEEE INFOCOM 2019, 2019

Simplified data posting in practice.
Proceedings of the 23rd International Database Applications & Engineering Symposium, 2019

Making IoT Services Accountable: A Solution Based on Blockchain and Physically Unclonable Functions.
Proceedings of the Internet and Distributed Computing Systems, 2019

An Effective System for User Queries Assistance.
Proceedings of the Flexible Query Answering Systems - 13th International Conference, 2019

HIKE: A Step Beyond Data Exchange.
Proceedings of the Conceptual Modeling - 38th International Conference, 2019

An Overview of the Endless Battle between Virus Writers and Detectors: How Compilers Can Be Used as an Evasion Technique.
Proceedings of the 8th International Conference on Data Science, 2019

Number of Minimal Hypergraph Transversals and Complexity of IFM with Infrequency: High in Theory, but Often Not so Much in Practice!
Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018
Evaluating User Behaviour in a Cooperative Environment.
Inf., 2018

A Cloud-based platform for the emulation of complex cybersecurity scenarios.
Future Gener. Comput. Syst., 2018

CalcuList: a Functional Language Extended with Imperative Features.
CoRR, 2018

Cybersecurity compliance analysis as a service: Requirements specification and application scenarios.
Concurr. Comput. Pract. Exp., 2018

Evaluating the Influence of User Searches on Neighbors.
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Inverse Tree-OLAP: Definition, Complexity and First Solution.
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

An Analysis on User Searches Effects.
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

The Inverse Tree-OLAP Problem: Definitions, Models, Complexity Analysis, and a Possible Solution.
Proceedings of the 22nd International Database Engineering & Applications Symposium, 2018

Using CalcuList To MapReduce Jsons.
Proceedings of the 22nd International Database Engineering & Applications Symposium, 2018

PAST: Protocol-Adaptable Security Tool for Heterogeneous IoT Ecosystems.
Proceedings of the IEEE Conference on Dependable and Secure Computing, 2018

Achieving Service Accountability Through Blockchain and Digital Identity.
Proceedings of the Information Systems in the Big Data Era, 2018

Dealing with Inconsistency in Databases: An Overview.
Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2017
Malevolent Activity Detection with Hypergraph-Based Models.
IEEE Trans. Knowl. Data Eng., 2017

Discovering User Behavioral Features to Enhance Information Search on Big Data.
ACM Trans. Interact. Intell. Syst., 2017

Effective Information Spreading in Social Networks.
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

An Open Source System for Big Data Warehousing.
Proceedings of the 6th International Conference on Data Science, 2017

Systemic Risk Analysis Through SE Methods And Techniques.
Proceedings of the 3rd INCOSE Italia Conference on Systems Engineering, 2017

Systemic Risk Modeling and Evaluation through Simulation and Bayesian Networks.
Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2016
Enhanced User Search Activity by Big Data Tools.
Proceedings of the 24th Italian Symposium on Advanced Database Systems, 2016

A Framework Enhancing the User Search Activity Through Data Posting.
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

ResDevOps: A Software Engineering Framework for Achieving Long-Lasting Complex Systems.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Extending GOReM Through the RAMSoS Method for Supporting Modeling and Virtual Evaluation of the Systemic Risk.
Proceedings of the 2nd INCOSE Italia Conference on Systems Engineering, 2016

Multi-Sorted Inverse Frequent Itemsets Mining: On-Going Research.
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

Modeling Cyber Systemic Risk for the Business Continuity Plan of a Bank.
Proceedings of the Availability, Reliability, and Security in Information Systems, 2016

Cooperation of Smart Objects and Urban Operators for Smart City Applications.
Proceedings of the Management of Cyber Physical Objects in the Future Internet of Things, 2016

2015
Extending TETRA with wireless sensor networks.
Int. J. Intell. Eng. Informatics, 2015

Effective Big Data Warehouses Surfing (Discussion Paper).
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Improving tourist experience by Big Data tools.
Proceedings of the 2015 International Conference on High Performance Computing & Simulation, 2015

Surfing Big Data Warehouses for Effective Information Gathering.
Proceedings of the DATA 2015, 2015

2014
Hypergraph-Based Attack Models for Network Intrusion Detection.
Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014

Effective Analysis Of Massive Tourist Information Flows.
Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014

Cooperation of Smart Objects and Urban Operators for Smart City Applications.
Proceedings of the 5th International Workshop on Networks of Cooperating Objects for Smart Cities (UBICITEC 2014) co-located with CPSWeek 2014, 2014

Smart Applications for Smart City: a Contribution to Innovation.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

Data Preparation for Tourist Data Big Data Warehousing.
Proceedings of the DATA 2014, 2014

Mastering Concept Exploration in Large Industrial Research Projects.
Proceedings of the INCOSE Italia Conference on Systems Engineering, 2014

2013
Solving inverse frequent itemset mining with infrequency constraints via large-scale linear programs.
ACM Trans. Knowl. Discov. Data, 2013

Multi-Sorted Inverse Frequent Itemsets Mining.
CoRR, 2013

Exploiting compression and approximation paradigms for effective and efficient online analytical processing over sensor network readings in data grid environments.
Concurr. Comput. Pract. Exp., 2013

Big data: a research agenda.
Proceedings of the 17th International Database Engineering & Applications Symposium, 2013

Intrusion Detection with Hypergraph-Based Attack Models.
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2013

Data Posting: a New Frontier for Data Exchange in the Big Data Era.
Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, 2013

2012
A probabilistic framework for estimating the accuracy of aggregate range queries evaluated over histograms.
Inf. Sci., 2012

Count Constraints for Inverse OLAP and Aggregate Data Exchange.
Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012

A Theoretically-Sound Accuracy/Privacy-Constrained Framework for Computing Privacy Preserving Data Cubes in OLAP Environments.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Count Constraints and the Inverse OLAP Problem: Definition, Complexity and a Step toward Aggregate Data Exchange.
Proceedings of the Foundations of Information and Knowledge Systems, 2012

Towards a theory for privacy preserving distributed OLAP.
Proceedings of the 2012 Joint EDBT/ICDT Workshops, Berlin, Germany, March 30, 2012, 2012

Data Exchange in Datalog Is Mainly a Matter of Choice.
Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

2011
A quad-tree based multiresolution approach for two-dimensional summary data.
Inf. Syst., 2011

A long tour from theory to practice.
Intelligenza Artificiale, 2011

Simulations on workflow management systems: A framework based on event choice datalog.
Intelligenza Artificiale, 2011

A Decomposition Technique for the Inverse Frequent Itemset Mining Problem.
Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

Computing Privacy Preserving OLAP Aggregations on Data Cubes: A Constraint-Based Approach .
Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

Hand-OLAP: Semantics-Aware Compression of Data Cubes for Effective and Efficient OLAP in Mobile Enviroments.
Proceedings of the 12th IEEE International Conference on Mobile Data Management, 2011

A Constraint-Based Framework for Computing Privacy Preserving OLAP Aggregations on Data Cubes.
Proceedings of the ADBIS 2011, 2011

2010
Integrating Semantics within Compressed OLAP Views in the Hand-OLAP System (Extended Abstract).
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Balancing accuracy and privacy of OLAP aggregations on data cubes.
Proceedings of the DOLAP 2010, 2010

2009
Enabling OLAP in mobile environments via intelligent data cube compression techniques.
J. Intell. Inf. Syst., 2009

Ontology-Based Information Extraction from PDF Documents with Xonto.
Int. J. Artif. Intell. Tools, 2009

Combining Attribute Grammars and Ontologies for Extracting Information from PDF Documents.
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009

Privacy Preserving OLAP by Sampling.
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009

Delivering Semantics-aware Compressed OLAP Views in Mobile Environments with Hand-OLAP.
Proceedings of the ICTAI 2009, 2009

An Effective Approach to Inverse Frequent Set Mining.
Proceedings of the ICDM 2009, 2009

A Semantic Clinical Knowledge Representation Framework for Effective Health Care Risk Management.
Proceedings of the Business Information Systems, 12th International Conference, 2009

2008
Enhancing histograms by tree-like bucket indices.
VLDB J., 2008

Compressed hierarchical binary histograms for summarizing multi-dimensional data.
Knowl. Inf. Syst., 2008

A Probabilistic Framework for Building Privacy-Preserving Synopses of Multi-dimensional Data.
Proceedings of the Scientific and Statistical Database Management, 2008

H-IQTS: a semantics-aware histogram for compressing categorical OLAP data.
Proceedings of the 12th International Database Engineering and Applications Symposium (IDEAS 2008), 2008

A Process-Driven Methodology for Continuous Information Systems Modeling.
Proceedings of the ICEIS 2008, 2008

High-Performance Data Management and Efficient Aggregate Query Answering on Environmental Sensor Networks by Computational Grids.
Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 2008

A Robust Sampling-Based Framework for Privacy Preserving OLAP.
Proceedings of the Data Warehousing and Knowledge Discovery, 10th International Conference, 2008

Logic Programming in DataLog: A Long Tour from Theory to Practice.
Proceedings of the Il Milione (i.e. 2^6), 2008

2007
Semantics-Aware Advanced OLAP Visualization of Multidimensional Data Cubes.
Int. J. Data Warehous. Min., 2007

Mining unconnected patterns in workflows.
Inf. Syst., 2007

Advanced OLAP Visualization of Multidimensional Data Cubes: A Semantics-Driven Compression Approach.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Grid-VirtuE: A Layered Architecture for Grid Virtual Enterprises.
Proceedings of the Research and Practical Issues of Enterprise Information Systems II, 2007

Process Mining Based on Clustering: A Quest for Precision.
Proceedings of the Business Process Management Workshops, 2007

2006
Discovering Expressive Process Models by Clustering Log Traces.
IEEE Trans. Knowl. Data Eng., 2006

Towards a Semantic Information Extraction Approach from Unstructured Documents.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

Efficiently Representing and Querying Sensor Network Readings on Data Grids.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

Progresses on Tree-Based Approaches to Improving Histogram Accuracy.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

A Logic-Based Tool for Semantic Information Extraction.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

An XML-based multi-agent system to support an adaptive cultural heritage learning.
Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006

A Hierarchy-Driven Compression Technique for Advanced OLAP Visualization of Multidimensional Data Cubes.
Proceedings of the Data Warehousing and Knowledge Discovery, 8th International Conference, 2006

Preface.
Proceedings of the Business Process Management Workshops, 2006

2005
Mining and Reasoning on Workflows.
IEEE Trans. Knowl. Data Eng., 2005

Semi-Inflationary DATALOG: A declarative database language with procedural features.
AI Commun., 2005

Mining Correlations in Workflows Executions.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Hierarchical binary histograms for summarizing multi-dimensional data.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

A Data Mining-based Framework for GridWorkflow Management.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

A Distributed System for Answering Range Queries on Sensor Network Data.
Proceedings of the 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 2005

Exploiting ASP for Semantic Information Extraction.
Proceedings of the Answer Set Programming, 2005

2004
On the Mining of Complex Schemas.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

A New Histogram-based Technique for Compressing Multi-Dimensional Data.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Event choice datalog: a logic programming language for reasoning in multiple dimensions.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Mining Expressive Process Models by Clustering Workflow Traces.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2004

A Grid Framework for Approximate Aggregate Query Answering on Summarized Sensor Network Readings.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

An Ontology-Driven Process Modeling Framework.
Proceedings of the Database and Expert Systems Applications, 15th International Conference, 2004

Mining Constrained Graphs: The Case of Workflow Systems.
Proceedings of the Constraint-Based Mining and Inductive Databases, 2004

2003
Uniform Techniques for Deriving Similarities of Objects and Subschemes in Heterogeneous Databases.
IEEE Trans. Knowl. Data Eng., 2003

A Quad-Tree Based Multiresolution Approach for Two-dimensional Summary Data.
Proceedings of the 15th International Conference on Scientific and Statistical Database Management (SSDBM 2003), 2003

Similarity-Based Clustering of Web Transactions.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Mining Frequent Instances on Workflows.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2003

Hand-OLAP: A System for Delivering OLAP Services on Handheld Devices.
Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

A Prototypal Environment for Collaborative Work within a Research Organization.
Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003

A Logic-Based Formalism to Model and Analyze Workflow Executions.
Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

A Logic Programming Approach for Planning Workflows Evolutions.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

Reasoning on Workflow Executions.
Proceedings of the Advances in Databases and Information Systems, 2003

2002
A technique for deriving hyponymies and overlappings from database schemes.
Data Knowl. Eng., 2002

Improving Range Query Estimation on Histograms.
Proceedings of the 18th International Conference on Data Engineering, San Jose, CA, USA, February 26, 2002

Binary-Tree Histograms with Tree Indices.
Proceedings of the Database and Expert Systems Applications, 13th International Conference, 2002

Search and Optimization Problems in Datalog.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Modelling the Future with Event Choice DATALOG.
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001
Extending stratified datalog to capture complexity classes ranging from P to QH.
Acta Informatica, 2001

Compressione Semantica con Perdita di Documenti XML.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

Semantic Lossy Compression of XML Data.
Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), 2001

Estimating Range Queries Using Aggregate Data with Integrity Constraints: A Probabilistic Approach.
Proceedings of the Database Theory, 2001

2000
Estimating range queries using aggregate data.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

Transmitting Datacubes over Congested Networks.
Proceedings of the 2000 International Symposium on Information Technology (ITCC 2000), 2000

Semi-automatic Extraction of Hyponymies and Overlappings from Heterogeneous Database Schemes.
Proceedings of the Database and Expert Systems Applications, 11th International Conference, 2000

1999
Automatic Extraction of Database Scheme Semantic Properties using Knowledge Discovery Techniques.
Trans. SDPS, 1999

DLP: A Description Logic for Extracting and Managing Complex Terminological and Structural Properties from Database Schemes.
Inf. Syst., 1999

Grammars and Automata to Optimize Chain Logic Queries.
Int. J. Found. Comput. Sci., 1999

Complexity and Expressive Power of Deterministic Semantics for DATALOG¬.
Inf. Comput., 1999

Semi-Automatic Techniques for Deriving Interscheme Properties from Database Schemes.
Data Knowl. Eng., 1999

Progettazione Semi-Automatica di Data Warehouse di Grandi Dimensioni .
Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

Compressed Datacubes for fast OLAP Applications.
Proceedings of the Data Warehousing and Knowledge Discovery, 1999

A Unified Graph-Based Framework for Deriving Nominal Interscheme Properties, Type Conflicts and Object Cluster Similarities.
Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems, 1999

1998
Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases.
Theor. Comput. Sci., 1998

An architecture for accessing a large number of autonomous, heterogeneous databases.
Netw. Inf. Syst. J., 1998

Utilizzo della logica descrittiva per l'estrazione di proprietà terminologiche e strutturali complesse.
Proceedings of the Atti del Sesto Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1998

Semi-Automatic Semantic Discovery of Properties from Database Schemas.
Proceedings of the 1998 International Database Engineering and Applications Symposium, 1998

On the Complexity of Search Queries.
Proceedings of the Fundamentals of Information Systems, 1998

Automatic Derivation of Terminological Properties from Database Schemes.
Proceedings of the Database and Expert Systems Applications, 9th International Conference, 1998

An Automatic Techniques for Detecting Type Conflicts in Database Schemes.
Proceedings of the 1998 ACM CIKM International Conference on Information and Knowledge Management, 1998

1997
Deterministic and Non-Deterministic Stable Models.
J. Log. Comput., 1997

The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries.
J. Comput. Syst. Sci., 1997

"Possible is Certain" is Desirable and Can Be Expressive.
Ann. Math. Artif. Intell., 1997

Programming with Non-Determinism in Deductive Databases.
Ann. Math. Artif. Intell., 1997

On the Partial Semantics for Disjunctive Deductive Databases.
Ann. Math. Artif. Intell., 1997

NP Optimization Problems in Datalog.
Proceedings of the Logic Programming, 1997

The Expressive Power of Unique Total Stable Model Semantics.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

Deterministic Semantics for Datalog¬: Complexity and Expressive Power.
Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

Discovering description logic assertions from database schemes.
Proceedings of the 1997 International Workshop on Description Logics, 1997

1996
Matching of Bounded Set Terms in the Logic Language LDL++.
J. Log. Program., 1996

Multiple Total Stable Models are Definitely Needed to Solve Unique Solution Problems.
Inf. Process. Lett., 1996

The Expressive Power of Partial Models in Disjunctive Deductive Databases.
Proceedings of the Logic in Databases, 1996

The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract).
Proceedings of the Concurrency and Parallelism, 1996

Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries.
Proceedings of the Database Theory, 1995

DATALOG Queries with Stratified Negation and Choice: from P to D<sup>P</sup>.
Proceedings of the Database Theory, 1995

The PushDown Method to Optimize Chain Logic Programs (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

1993
Effective Implementation of Negation in Database Logic Query Languages.
Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993

Evaluation of Negative Logic Programs.
Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993


Dynamic Programming Optimization for Logic Queries with Aggregates.
Proceedings of the Logic Programming, 1993

1992
Set-Term Matching in Logic Programming.
Proceedings of the Database Theory, 1992

Evolution of Knowledge Bases.
Proceedings of the Advances in Database Technology, 1992

1991
Comparison of Methods for Logic-Query Implementation.
J. Log. Program., 1991

Partial Models and Three-Valued Models in Logic Programs with Negation.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Non-Determinism in Deductive Databases.
Proceedings of the Deductive and Object-Oriented Databases, 1991

1990
Negative Logic Programs.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Extending Logic Programming.
Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, 1990

Stable Models and Non-Determinism in Logic Programs with Negation.
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990

1988
An Automatic Physical Designer for Network Model Databases.
IEEE Trans. Software Eng., 1988

The Generalized Counting Method for Recursive Logic Queries.
Theor. Comput. Sci., 1988

Differential Fixpoint Methods and Stratification of Logic Programs.
Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

Support for Data- and Knowledge-Based Applications - Introduction by the Session Chairman.
Proceedings of the Advances in Database Technology, 1988

Rule Rewriting Methods in the Implementation of the Logic Language LDL.
Proceedings of the IFIP TC2/TC8/WG 2.6/WG 8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, 1988

1987
The Advanced Database Environment of the KIWI System.
IEEE Data Eng. Bull., 1987

Magic Counting Methods.
Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, 1987

Worst-case Complexity Analysis of Methods for Logic Query Implementation.
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic.
Proceedings of the Logic Programming, 1987

1986
Minimal Representation of Directed Hypergraphs.
SIAM J. Comput., 1986

Properties of Database Schemata with Functional Dependencies.
Adv. Comput. Res., 1986

On the Implementation of a Simple Class of Logic Queries for Databases.
Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

An Approximation Algorithm for the Physical Access Path Selection in the CODASYL Environment.
Proceedings of the Second International Conference on Data Engineering, 1986

Rule Rewriting Methods for Efficient Implementations of Horn Logic.
Proceedings of the Foundations of Logic and Functional Programming, 1986

1985
Closures of Database Hypergraphs
J. ACM, October, 1985

Database Partitioning in a Cluster of Processors.
ACM Trans. Database Syst., 1985

Integrated Tools for Physical Database Design in CODASYL Environment.
Proceedings of the Computer-Aided Database Design: the DATAID approach., 1985

1984
Equivalence and Mapping of Database Schemes.
Proceedings of the Tenth International Conference on Very Large Data Bases, 1984

1983
Graph Algorithms for Functional Dependency Manipulation
J. ACM, October, 1983

On the Recognition of Coverings of Acyclic Database Hypergraphs.
Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1983

Physical Data Base Design for Codasyl DBMS.
Proceedings of the Methodology and Tools for Data Base Design., 1983

1980
Graph Algorithms for the Synthesis and Manipulation of Data Base Schemes.
Proceedings of the Graphtheoretic Concepts in Computer Science, 1980


  Loading...