Journals
Proximity measures for rank join
in ACM Transactions on Database Systems, to appear (upcoming article).
Cost-Aware Rank Join with Random and Sorted Access
in IEEE Transactions on Knowledge & Data Engineering, preprint available here.
Inconsistency-tolerant Integrity Checking
in IEEE Transactions on Knowledge & Data Engineering, vol. 23(2), pp. 218-234, 2011.
Proximity Rank Join
in Proceedings of the VLDB Endowment, vol. 3(1), pp. 352-363, 2010.
Search Computing: an Approach for Managing Complex Search Queries
in IEEE Internet Computing, vol. 14(6), pp. 14-22, 2010.
Querying Incomplete Data over Extended ER Schemata
in Theory and Practice of Logic Programming, vol. 10(3), pp. 291-329, 2010.
Logic In Databases: Report on the LID 2008 Workshop
in SIGMOD Record, vol. 38(3), pp. 44-49, 2009.
Dynamic Query Optimization under Access Limitations and Dependencies
in Journal of Universal Computer Science, vol. 15(21), pp. 33-62, 2009.
Optimization of Multi-Domain Queries on the Web
in Proceedings of the VLDB Endowment, vol. 1(1), pp. 562-573, 2008.
Mashing up search services
in IEEE Internet Computing, vol. 12(5), pp. 16-23, September-October 2008
On simplification of Database Integrity Constraints
in Fundamenta Informaticae, vol. 71, n. 4, pp. 371-417, 2006
A. Pettorossi, M. Proietti (Eds.), IOS Press.
Symbolic constraints for meta-logic programming
in Journal of Applied Artificial Intelligence, vol. 14, n. 4, pp. 345-367, April 2000
Taylor & Francis, ISSN 0883-9514
International conferences
The CUBRIK Project: Human-enhanced time-aware multimedia search
World Wide Web Conference (WWW 2012), European projects track, to appear.
Ranking with Uncertain Scoring Functions: Semantics and Sensitivity Measures
2011 ACM SIGMOD/PODS Conference (SIGMOD 2011), pp. 805-816, 2011.
Proximity Rank Join
36th International Conference on Very Large Data Bases (VLDB 2010), pp. 352-363, 2010.
Querying Databases with Taxonomies
29th International Conference on Conceptual Modeling (ER 2010), pp. 377-390, 2010.
Query Processing under Access Limitations (tutorial)
12th Int. Asia-Pacific Web Conference (APWeb 2010), p. 397
Querying the Deep Web (tutorial)
13th International Conference on on Extending Database Technology (EDBT 2010), pp. 724-727
Querying Context-Aware Databases
8th International Conference on Flexible Query Answering Systems (FQAS 2009), pp. 76-87
Optimization of Multi-Domain Queries on the Web
34th International Conference on Very Large Data Bases (VLDB 2008), pp. 562-573.
Conjunctive Query Containment under Access Limitations
ER 2008, pp. 326-340
Classifying Integrity Checking Methods with regard to Inconsistency Tolerance
International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2008), pp. 195-204.
Querying Data under Access Limitations
IEEE ICDE 2008, pp. 50-59 (full paper, long presentation, acceptance rate 12%).
A Relaxed Approach to Integrity and Inconsistency in Databases.
LPAR 2006, in LNCS 4246, pp. 287-301, Springer, 2006
Checking Violation Tolerance of Approaches to Database Integrity.
ADVIS 2006, in LNCS 4243, pp. 139-148, Springer, 2006
Incremental Integrity Checking: Limitations and Possibilities
LPAR 2005, in LNCS 3835, pp. 712-727, Springer, 2005
Efficient integrity checking for databases with recursive views
ADBIS 2005, in LNCS 3631, pp. 109-124, Springer, 2005
Transaction management with integrity checking
DEXA 2005, in LNCS 3588, pp. 606-615, Springer, 2005
Optimal database locks for efficient integrity checking
ADBIS 2004, in ADBIS'04 local proceedings, ISBN 963 311 358 X, pp. 64-77
Winner of the Best Student Paper Award at ADBIS 2004.
Simplification of integrity constraints with aggregates and arithmetic built-ins
FQAS 2004, in LNAI 3055, pp. 348-361, Springer, 2004
Simplification of integrity constraints for data integration
FoIKS '04, in LNCS 2942, pp. 31-48, Springer, 2004
Simplification of database integrity constraints revisited: a transformational approach
LOPSTR '03, in LNCS 3018, pp. 178-197, Springer, 2004
Book chapters
Rank-join Algorithms for Search Computing
Chapter 11 in the book Search Computing - Challenges and Directions, pp. 211-224
S. Ceri, M. Brambilla (Eds.), Springer LNCS, Vol. 5950, 2010
A Logical Approach to Context-Aware Databases
Chapter in the book Management of the Interconnected World, pp. 211-220
A. D'Atri, M. De Marco, A. Braccini, F. Cabiddu (Eds.), Springer, 2010
XQBE: a Visual Language for XML Data Management
in the book Visual Languages for Interactive Computing: Definitions and Formalization, Chapter XVII, pp. 353-383, 2008
F. Ferri (Ed.), Idea Group Publishing.
Integrity Checking and Maintenance in Relational and Deductive Databases - and Beyond
in the book Intelligent Databases: Technologies and Applications, chapter X, pp. 238-285, 2006
Z. Ma (Ed.), Idea Group Publishing.
National conferences
Answering Queries in a Relaxed Way (Extended Abstract)
In proceedings of Advanced Database Systems - Sistemi Evoluti per Basi di Dati (SEBD 2011) Nineteenth Italian Symposium, pp. 33-40.
Context-aware data tailoring through Answer Set Programming (Extended Abstract)
In proceedings of Advanced Database Systems - Sistemi Evoluti per Basi di Dati (SEBD 2011) Nineteenth Italian Symposium, pp. 131-138.
Search Computing Systems (Extended Abstract)
In proceedings of Advanced Database Systems - Sistemi Evoluti per Basi di Dati (SEBD 2010) Eighteenth Italian Symposium, pp. 446-453.
A Logical Approach to Context-Aware Databases
6th Conference of the Italian Chapter of AIS (itAIS 2009)
Search Computing: The European Way to Query the Web (Extended Abstract)
In proceedings of Advanced Database Systems - Sistemi Evoluti per Basi di Dati (SEBD 2009) Seventeenth Italian Symposium, pp. 57-64.
A New Generation Search Engine Supporting Cross Domain Queries (extended abstract)
SEBD 2008, pp. 342-349, 2008.
Query optimisation for web data sources: minimisation of the number of accesses (extended abstract)
SEBD 2007, pp. 316-323, ISBN 978-88-902981-0-3.
Can Integrity Tolerate Inconsistency? (extended abstract)
SEBD 2006, pp. 32-39, ISBN 88-6068-018-2.
XQBE: the Swiss Army Knife for Semi-structured Data (extended abstract)
SEBD 2005, pp. 284-291, ISBN 88-548-0122-4.
Workshops
Context through Answer Set Programming
In proceedings of the EDBT 2011 workshops, 3rd International Workshop on Logic in Databases (LID 2011), to appear.
Top-k Pipe Join
In proceedings of the ICDE 2010 workshops, 4th International Workshop on Ranking in Databases (DBRank 2010), pp. 16-19.
Modeling, Measuring and Monitoring the Quality of Information
In proceedings of the 4th International Workshop on Quality of Information Systems (QoIS 2009), pp. 212-221.
Data-driven optimization of search service composition for answering multi-domain queries
In proceedings of the Using Search Engine Technology for Information Management workshop (USETIM 2009).
NGS: a Framework for Multi-Domain Query Answering
ICDE Workshop on Information Integration Methods, Architectures, and Systems (IIMAS 2008), pp. 254-261, 2008.
Getting Rid of Straitjackets for Flexible Integrity Checking
FlexDBIST 2007 (DEXA 2007 workshop), pp. 360-364, IEEE Computer Society, 2007.
Optimization of Query Plans in the presence of Access Limitations
EROW 2007 (ICDT 2007 workshop), pp. 33-47, informal proceedings, 2007.
Integrity Checking for Uncertain Data
TDM 2006, CTIT Workshop Proceedings Series WP06-01, University of Twente, pp. 41-48. ISSN 1574-0846.
Avenues to Flexible Data Integrity Checking
FlexDBIST 2006 (DEXA 2006 workshop), pp. 425-429, IEEE Computer Society, 2006.
On using simplification and correction tables for integrity maintenance in integrated databases
LAAIC 2006 (DEXA 2006 workshop), pp. 569-576, IEEE Computer Society, 2006.
Efficient Integrity Checking over XML Documents
DataX 2006 (EDBT 2006 workshop), in LNCS 4254, pp. 206-219, Springer, 2006
ActiveXQBE: a visual paradigm for triggers over XML data
Reactivity on the Web 2006 (EDBT 2006 workshop), in LNCS 4254, pp. 865-875, Springer, 2006
Edited works
Preface - Special Issue: selected papers from the Logic In Databases workshop 2008.
In Journal of Applied Logic, vol 8(2): 151-152, 2010.
Proc. LAAIC'06, Second International Workshop on Logical Aspects and Applications of Integrity Constraints.
Included in Proc. DEXA 2006, Int'l Workshop on Database and Expert Systems Applications, 4-8 September 2006, Cracow, Poland, pp. 523-573, IEEE Computer Society, 2006.
Proc. LAAIC'05, First International Workshop on Logical Aspects and Applications of Integrity Constraints.
Included in Proc. DEXA 2005, Int'l Workshop on Database and Expert Systems Applications, 11-26 August 2005, Copenhagen, Denmark, pp. 801-858, IEEE Computer Society, 2005.
Encyclopedia entries
Access pattern
Encyclopedia of Cryptography and Security (Second Edition), pp. A17-A20,
Henk C.A. van Tilborg and Sushil Jajodiathe (Eds), Springer, 2011.
Database Integrity Checking
Encyclopedia of Information Science and Technology (Second Edition), Volume II, 961-966,
M. Khosrow-Pour (Ed), Information Science Reference, 2008.
Inconsistency-Tolerant Integrity Checking
Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends, Chapter XXXVIII, Volume II, pp. 348-357,
V. Ferraggine, J. Doorn, L. Rivero (Eds), Information Science Reference, 2009.
Theses
Advanced Techniques for Efficient Data Integrity Checking
PhD thesis, 2005
Roskilde University, Dept. of Computer Science, Roskilde, Denmark.
In Datalogiske Skrifter, vol. 105
Object-oriented Logic Programming with ObjectLog
Master's thesis, 1998
Politecnico di Milano, Dept. of Electronic Engineering and Information Sciences, Milan, Italy.
Technical University of Denmark (DTU), Lyngby, Denmark.
Technical reports
A Model and a Language for Context-Aware Databases
RT-DIA-152-2009, Dipartimento di Informatica e Automazione, Università degli studi Roma Tre, July 2009.
Cost-aware rank-join algorithms
Technical report, Politecnico di Milano, 2009
Implementing the Event Calculus in the DemoII System
in Datalogiske Skrifter, n. 85, 1999
Roskilde Universitetscenter, ISSN 010939779
