Publications

Journal/Conference Articles

2012

• On the complexity of view update and its applications to annotation propagation
  TKDE, 2012.
  Gao Cong, Wenfei Fan, Floris Geerts, Jizhou Luo.
  PDF
  
• View Determinacy for Preserving Selected Information in Data Transformations
  In Information Systems, 2012.
  Wenfei Fan, Floris Geerts and Lixiao Zheng.
  PDF

2011

• Determining the Currency of Data
  in PODS'11, 2011.
  Wenfei Fan, Floris Geerts and Jef Wijsen.
  PDF [slides]
  
• Generating, Sampling and Counting Subclasses of Regular Tree Languages
  In ICDT'11, 2011.
  Timos Antonopoulos, Floris Geerts, Wim Martens and Frank Neven.
  PDF
• Completeness of Query Languages for Annotated Databases
  Journal of Computer and System Sciences (JCSS), 2011.
  Vol. 77, pp. 491-504.
  Floris Geerts and Jan Van den Bussche.
  PDF
  
• Discovering Conditional Functional Dependencies
  In TKDE, 2011.
  Vol. 23, Issue 4.
  Wenfei Fan, Floris Geerts, Jianzhong Li and Ming Xiong.
  PDF
• A Uniform Dependency Language for Improving Data Quality
  In IEEE Data Engineering Bulletin, Vol. 34 No. 3, Sept. 2011.
  Wenfei Fan and Floris Geerts.
  PDF

2010

• Capturing Missing Tuples and Missing Values
  In PODS'10, 2010.
  Wenfei Fan and Floris Geerts.
  PDF
  
• Relative Information Completeness
  In ACM Transactions on Database Systems (TODS), 2010
  Vol. 35/4.
  Wenfei Fan, Floris Geerts.
  PDF
  
• Static Analysis of Schema-Mappings Ensuring Oblivious Termination
  In ICDT'10, 2010.
  Floris Geerts and Bruno Marnette.
  PDF
  
• Detecting Inconsistencies in Distributed Data
  In ICDE'10 (full paper), pp. 64-75, 2010.
  Wenfei Fan, Floris Geerts, Shuai Ma, and Heiko Müller.
  PDF
  
• On Database Query Languages for K-relations
  In Journal of Applied Logic
  Vol. 8, pp. 173-185, 2010.
  Floris Geerts, and Antonella Poggi.
  PDF
  

2009

• Relative Information Completeness [pdf]
  In PODS'09, pp. 97-106, 2009.
  Wenfei Fan, Floris Geerts.
• Conditional Dependencies: A Principled Approach to Improving Data Quality [pdf]
  In Proceedings of BNCOD'09, invited tutorial.
  LNCS 5588, pp. 8-20.
  Wenfei Fan, Floris Geerts, and Xibei Jia.
• DBPL 2009, Database Programming Languages [pdf]
  Proceedings of 12th International Symposium on Database Programming Languages,
  Lecture Notes in Computer Science, Vol. 5708, Springer, 2009.
  Floris Geerts, and Philippa Gardner (Eds.).
• Discovering Conditional Functional Dependencies [pdf]
  In ICDE'09 (short paper), pp. 1231-1234, 2009.
  Wenfei Fan, Floris Geerts, Ming Xiong, and Laks V.S. Lakshmanan.
• Constraint query languages [pdf]
  Regular entry in Encyclopedia of Database Systems, pp 454-458, 2009.
  Floris Geerts.
• Constraint databases [pdf]
  Definitional entry in Encyclopedia of Database Systems, pp. 452-453, 2009.
  Floris Geerts.

2008

• Expressiveness and Complexity of XML Publishing Transducers [pdf]
  ACM Transactions on Database Systems (TODS), 2008.
  Vol. 33/4.
  Wenfei Fan, Floris Geerts, and Frank Neven.
• A Revival of Integrity Constraints for Data Cleaning [pdf][slides]
  Tutorial at VLDB'08
  PVLDB 1(2), pp. 1522-1523, 2008.
  Wenfei Fan and Floris Geerts.
• Semandaq: A Data Quality System Based on Conditional Functional Dependencies [pdf]
  In VLDB'08, (demo)
  PVLDB 1(2), pp. 1460-1463, 2008.
  Wenfei Fan, Floris Geerts, and Xibei Jia.
• On Database Query Languages for K-relations [pdf]
  In Logic in Databases (LID), 2008.
  Floris Geerts, and Antonella Poggi.
• Complexity and Composition of Synthesized Web Services [pdf][slides]
  In PODS'08, pp. 231-240, 2008.
  Wenfei Fan, Floris Geerts, Wouter Gelade, Frank Neven, and Antonella Poggi.
• Increasing Expressivity of Conditional Functional Dependencies without Extra Charge for Complexity [pdf]
  In Proceedings of ICDE'08, (full paper), pp. 516-525, 2008.
  Loreto Bravo, Wenfei Fan, Floris Geerts, and Shuai Ma.
• Conditional Functional Dependencies for Capturing Data Inconsistencies [pdf]
  ACM Transactions on Database Systems (TODS), 2008.
  Vol.33/1.
  Wenfei Fan, Floris Geerts, Xibei Jia, and Anastasios Kementsietsidis.
• First-order Complete and Computationally Complete Query Languages for Spatio-Temporal Databases [pdf]
  ACM Transactions on Computational Logic (TOCL), 2008.
  Vol. 9/2, Article No. 13.
  Floris Geerts, Sofie Haesevoets and Bart Kuijpers.
• XPath Satisfiability in the Presence of DTDs [pdf]
  Journal of the ACM, 2008.
  Vol. 55/2.
  Michael Benedikt, Wenfei Fan, Floris Geerts.
  

2007

• Relational completeness of query languages for annotated databases [pdf]
  Proceedings of DBPL'07, 2007.
  LNCS 4797, pp. 128-138.
  Floris Geerts and Jan Van den Bussche.
• Improving Data Quality: Consistency and Accuracy [pdf]
  In Proceedings of VLDB'07, pp. 315-326, 2007.
  pp. Gao Cong, Wenfei Fan, Floris Geerts, and Shuai Ma.
• Expressiveness and Complexity of XML Publishing Transducers [pdf]
  In Proceedings of PODS'07, pp. 83-92, 2007.
  Wenfei Fan, Floris Geerts, and Frank Neven.
• Real Algebraic Geometry and Constraint Databases [pdf]
  Chapter 12 in Handbook of Spatial Logics, Springer, 2007.
  Floris Geerts and Bart Kuijpers.
• Conditional Functional Dependencies for Data Cleaning [pdf]
  Best paper award.
  In Proceedings of ICDE'07, pp. 746-755, 2007.
  Phil Bohannon, Wenfei Fan, Floris Geerts, Xibei Jia, and Anastasios Kementsietsidis.
• Rewriting Regular XPath Queries on XML Views [pdf]
  In Proceedings of ICDE'07, pp. 666-675, 2007.
  Wenfei Fan, Floris Geerts, Xibei Jia, and Anastasios Kementsietsidis.

2006

• HaploRec: Efficient and accurate large-scale reconstruction of haplotypes [pdf]
  BMC Bioinformatics, 2006.
  Vol. 7:542.
  Lauri Eronen, Floris Geerts and Hannu Toivonen.
  
• Annotation Propagation Revisited for Key Preserving Views [pdf]
  In Proceedings of CIKM'06, pp. 632-641, 2006.
  Gao Cong, Wenfei Fan, and Floris Geerts
• On-Line Maintenance of Simplified Weighted Graphs for Efficient Distance Queries [pdf][pdf (full version)]
  In Proceedings of ACM-GIS'06, pp. 203-210, 2006.
  Floris Geerts, Peter Revesz and Jan Van den Bussche.
• SMOQE: A System for Providing Secure Access to XML Data. [pdf]
  Wenfei Fan, Xibei Jia, Floris Geerts, and Anastasios Kementsietsidis
  In Proceedings of the International Conference on Very Large Databases (VLDB), pp. 1227-1230. 2006.
  
• Linearization and completeness results for terminating transitive closure queries on spatial databases [pdf]
  SIAM Journal on Computing, 2006.
  Vol. 35/6, pp 1386-1439.
  Floris Geerts, Bart Kuijpers and Jan Van den Bussche.
• MONDRIAN: Annotating and querying databases through colors and blocks [pdf]
  In Proceedings of ICDE 2006.
  Floris Geerts, Anastasios Kementsietsidis, and Diego Milano.
  
• iMONDRIAN: A Visual Tool To Annotate and Query Scientific Databases [pdf]
  Best demo.
  The 10th International Conference on Extending Database Technology (EDBT'06), 2006.
  LNCS 3896, pp. 1168-1171.
  Floris Geerts, Anastasios Kementsietsidis, and Diego Milano.
  

2005

• Satisfiability of XPath Queries with Sibling Axes [pdf]
  The 10th International Workshop on Database Programming Languages (DBPL'05), 2005.
  LNCS 3774, pp 122-137.
  Floris Geerts, and Wenfei Fan.
• Two- versus three-dimensional connectivity testing of first-order queries to semi-algebraic sets [pdf]
  Acta Informatica, 2005.
  Vol. 41/1, pp 43--56.
  Floris Geerts, Lieven Smits and Jan Van den Bussche.
• XPath Satisfiability in the Presence of DTDs [pdf]
  ACM Symposium on Principles of Database Systems (PODS), 2005.
  pp. 25-36.
  Michael Benedikt, Wenfei Fan, Floris Geerts.
  
• Tight Upper Bounds on the Number of Candidate Patterns [pdf]
  ACM Transactions on Database Systems, 2005.
  Vol.30/2, pp. 333-363.
  Floris Geerts, Bart Goethals and Jan Van den Bussche.
  
• On the Decidability of Termination of Query Evaluation in Transitive-Closure Logics for Polynomial Constraint Databases [pdf]
  Theoretical Computer Science, 2005.
  Vol.336/1, pp. 125-151.
  Floris Geerts and Bart Kuijpers.
• Workshop on Database Issues in Biological Databases (DBiBD) [pdf][web page]
  Proceedings Editor, 2005.
  Co-organizer with Peter Buneman, Graham Cameron and Arek Kaspzryk.
  

2004

• Tiling Databases [pdf]
  The 7th International Conference on Discovery Science (DS'04), 2004.
  LNAI 3245, pp. 278-289.
  Floris Geerts, Bart Goethals and Taneli Mielik?nen.
• Relational Link-Based Ranking [pdf]
  The 30th International Conference on Very Large Data Bases (VLDB'04) , 2004.
  pp. 552-563.
  Floris Geerts, Heikki Mannila and Evimaria Terzi
• Moving Objects and Their Equations of Motion [pdf]
  The 1st International Symposium on Applications of Constraint Databases (CDB'04), 2004.
  LNCS 3074, pp. 41-52.
  Floris Geerts.
• A Markov Chain Approach to Reconstruction of Long Haplotypes [pdf]
  The 9th Pacific Symposium on Biocomputing (PSB'04), 2004.
  pp. 104-115
  Lauri Eronen, Floris Geerts and Hannu Toivonen.
  Related software and data sets can be found here.
  
• Topological formulation of termination properties of iterates of functions. [pdf]
  Information Processing Letters, 2004.
  Vol 89/1 pp 31-35.
  Floris Geerts and Bart Kuijpers.

2003

• Deciding termination of query evaluation in transitive-closure logics for constraint databases [pdf]
  The 9th International Conference on Database Theory (ICDT'03), 2003.
  LNCS 2572, pp. 190-260.
  Floris Geerts and Bart Kuijpers.
• Expressing the box cone radius in the relational calculus with real polynomial constraints [pdf]
  Discrete and Computational Geometry, 2003
  Vol 30, No 4, pp 607-622.
  Floris Geerts.
• What You Store Is What You Get [pdf]
  The 2nd International Workshop on Knowledge Discovery in Inductive Databases (KDID'03) , 2003.
  pp. 60-69.
  Floris Geerts, Bart Goethals and Taneli Mielik?nen.

2001

• Linear approximation of semi-algebraic spatial databases using transitive closure logic, in arbitrary dimension [pdf]
  The 8th International Workshop on Databases and Programming Languages (DBPL'01), 2001.
  LNCS 2397, pp. 182-197.
  Floris Geerts.
• A Theory of Spatio-Temporal Database Queries [pdf]
  The 8th International Workshop on Databases and Programming Languages (DBPL'01), 2001.
  LNCS 2397, pp. 198-212.
  Floris Geerts, Sofie Haesevoets and Bart Kuijpers.
• A tight upper bound on the number of candidate patterns [pdf]
  Best paper award.
  The 1st IEEE International Conference on Data Mining (ICDM'01), 2001.
  pp. 153-162.
  Floris Geerts, Bart Goethals and Jan Van den Bussche.

2000

• Linear approximation of planar spatial databases using transitive-closure logic [pdf]
  The 19th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'00), 2000.
  pp. 126-135.
  Floris Geerts and Bart Kuijpers.

1999

• Expressing Topological Connectivity of Spatial Databases [pdf]
  The 7th International Workshop on Database Programming Languages, (DBPL'99), 1999.
  LNCS 1949, pp. 224-238.
  Floris Geerts and Bart Kuijpers.

1998

• Superposition of Markov sources and long range dependence [pdf]
  The 4th International Conference on Broadband Communications (BC '98), 1998.
  pp. 550-562.
  Floris Geerts and Chris Blondia.
• Topological Canonization of Planar Spatial Data and Its Incremental Maintenance [pdf]
  The 7th Workshop on Foundations of Models and Languages for Data and Objects (FMLDO'98), 1998.
  pp. 55-67.
  Floris Geerts, Bart Kuijpers and Jan Van den Bussche.

1997

• The Correlation Structure of the Output of an ATM Multiplexer [pdf]
  The 5th International Workshop on Performance Modelling and Evaluation of ATM Networks, 1997.
  pp. 235-250
  Floris Geerts and Chris Blondia.

Technical Reports

• Frequent Knot Discovery
  CoRR cs.DB/0410038, 2003.
  Floris Geerts.
  
• Expressing the cone radius in the relational calculus with real polynomial constraints
  CoRR cs.DB/0106046, 2001.
  Floris Geerts.

Theses

• Geometric and Algorithmic Aspects of Topological Queries to Spatial Databases [pdf]
  PhD thesis, 2001.
  Floris Geerts.
• De stelling van Riemann-Roch in de taal van schemas en cohomologie (in dutch)[pdf]
  Master's thesis,1995.
  Floris Geerts.