503 citations
- Istituto Nazionale di Fisica Nucleare, Gruppo Collegato di Cosenza18 papers
- Istituto Nazionale di Fisica NucleareIT17 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT9 papers
- European Organization for Nuclear ResearchCH8 papers
- Novosibirsk State UniversityRU8 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di TorinoIT7 papers
- Budker Institute of Nuclear PhysicsRU6 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di BolognaIT6 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PaviaIT6 papers
- National Interuniversity Consortium for the Physical Sciences of MatterIT6 papers
- Sapienza University of RomeIT6 papers
- University of PaviaIT6 papers
5 papers · 1 filter
Disjunctive Databases for Representing Repairs
Cristian Molinaro, Jan Chomicki, Jerzy Marcinkowski
This paper addresses the problem of representing the set of repairs of a possibly inconsistent database by means of a disjunctive database. Specifically, the class of denial constr…
Consistent query answers on numerical databases under aggregate constraints
Sergio Flesca, Filippo Furfaro, Francesco Parisi
The problem of extracting consistent information from relational databases violating integrity constraints on numerical data is addressed. In particular, aggregate constraints defi…
Estimating Range Queries using Aggregate Data with Integrity Constraints: a Probabilistic Approach
Francesco Buccafurri, Filippo Furfaro, Domenico Sacca'
The problem of recovering (count and sum) range queries over multidimensional data only on the basis of aggregate information on such data is addressed. This problem can be formali…
Declarative Semantics for Active Rules
Sergio Flesca, Sergio Greco
In this paper we analyze declarative deterministic and non-deterministic semantics for active rules. In particular we consider several (partial) stable model semantics, previously…
Greedy Algorithms in Datalog
Sergio Greco, Carlo Zaniolo
In the design of algorithms, the greedy paradigm provides a powerful tool for solving efficiently classical computational problems, within the framework of procedural languages. Ho…