147 citations · 174 across the 9 of their papers we have counts for
9 papers
Relational Algebra and Calculus with SQL Null Values
Enrico Franconi, Sergio Tessaris
The logic of nulls in databases has been subject of investigation since their introduction in Codd's Relational Model, which is the foundation of the SQL standard. We show a logica…
A Decidable Very Expressive Description Logic for Databases (Extended Version)
Alessandro Artale, Enrico Franconi, Rafael Peñaloza +1
We introduce , an extension of the n-ary propositionally closed description logic to deal with attribute-labelled tuples (generalising the position…
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version)
Alessandro Artale, Enrico Franconi
We introduce an extension of the n-ary description logic DLR to deal with attribute-labelled tuples (generalising the positional notation), with arbitrary projections of relations…
Lossless Selection Views under Conditional Domain Constraints
Ingo Feinerer, Enrico Franconi, Paolo Guagliardo
A set of views defined by selection queries splits a database relation into sub-relations, each containing a subset of the original rows. This decomposition into horizontal fragmen…
The View Update Problem Revisited
Enrico Franconi, Paolo Guagliardo
In this paper, we revisit the view update problem in a relational setting and propose a framework based on the notion of determinacy under constraints. Within such a framework, we…
A Temporal Description Logic for Reasoning about Actions and Plans
A. Artale, E. Franconi
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true while…