Domenico Saccà

Available identifiers

zbMath Open sacca.domenicoWikidataQ102395345 ScholiaQ102395345MaRDI QIDQ199227

List of research outcomes

Publication	Date of Publication	Type
The expressive power of ``possible-is-certain semantics (extended abstract)	2024-06-21	Paper
The pushdown method to optimize chain logic programs	2019-01-10	Paper
The expressive power of unique total stable model semantics	2018-07-04	Paper
GRAMMARS AND AUTOMATA TO OPTIMIZE CHAIN LOGIC QUERIES	2015-04-29	Paper
A probabilistic framework for estimating the accuracy of aggregate range queries evaluated over histograms	2012-10-02	Paper
Constraint-Based Mining and Inductive Databases	2006-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q5699654	2005-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4473283	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4424004	2003-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4410734	2003-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4707759	2003-06-11	Paper
Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\).	2003-01-14	Paper
Semi-automatic techniques for deriving interscheme properties from database schemes	2002-07-29	Paper
A technique for deriving hyponymies and overlappings from database schemes	2002-03-03	Paper
Extending stratified datalog to capture complexity classes ranging from \(\mathcal P\) to \(Cal Q\mathcal H\)	2001-08-26	Paper
Expressive power and complexity of partial models for disjunctive deductive databases	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4375822	1998-03-02	Paper
``Possible is certain is desirable and can be expressive	1998-01-07	Paper
Deterministic and non-deterministic stable models	1997-11-04	Paper
On the partial semantics for disjunctive deductive databases	1997-10-26	Paper
Programming with non-determinism in deductive databases	1997-10-26	Paper
The expressive powers of stable models for bound and unbound DATALOG queries	1997-08-03	Paper
Matching of bounded set terms in the logic language LDL++	1997-06-15	Paper
Multiple total stable models are definitely needed to solve unique solution problems	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4940933	1997-01-01	Paper
Comparison of methods for logic-query implementation	1991-01-01	Paper
The generalized counting method for recursive logic queries	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3789109	1988-01-01	Paper
Minimal Representation of Directed Hypergraphs	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3786036	1986-01-01	Paper
Database partitioning in a cluster of processors	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5187320	1985-01-01	Paper
Closures of database hypergraphs	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3687754	1984-01-01	Paper
Graph Algorithms for Functional Dependency Manipulation	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3902552	1981-01-01	Paper

Research outcomes over time

This page was built for person: Domenico Saccà