Frank Neven

According to our database, Frank Neven authored at least 111 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2024

When View- and Conflict-Robustness Coincide for Multiversion Concurrency Control.

Brecht Vandevoort, Bas Ketsman, Frank Neven

CoRR, 2024

2023

When is it safe to run a transactional workload under Read Committed?

Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven

SIGMOD Rec., 2023

CM-Explorer: Dissecting Data Ingestion Problems.

Niels Bylois, Frank Neven, Stijn Vansummeren

Proc. VLDB Endow., 2023

Robustness against Read Committed for Transaction Templates with Functional Constraints.

Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven

Log. Methods Comput. Sci., 2023

Measuring Approximate Functional Dependencies: a Comparative Study.

Marcel Parciak, Sebastiaan Weytjens, Niel Hens, Frank Neven, Liesbet M. Peeters, Stijn Vansummeren

CoRR, 2023

Allocating Isolation Levels to Transactions in a Multiversion Setting.

Brecht Vandevoort, Bas Ketsman, Frank Neven

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2023.

Marcelo Arenas, Wenfei Fan, Frank Neven

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

Detecting Robustness against MVRC for Transaction Programs with Predicate Reads.

Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven

Proceedings of the Proceedings 26th International Conference on Extending Database Technology, 2023

Data Ingestion Validation through Stable Conditional Metrics with Ranking and Filtering.

Niels Bylois, Frank Neven, Stijn Vansummeren

Proceedings of the Advances in Databases and Information Systems, 2023

2022

Concurrency control for database theorists.

Bas Ketsman, Christoph Koch, Frank Neven, Brecht Vandevoort

SIGMOD Rec., December, 2022

Deciding Robustness for Lower SQL Isolation Levels.

Bas Ketsman, Christoph Koch, Frank Neven, Brecht Vandevoort

ACM Trans. Database Syst., 2022

Robustness Against Read Committed: A Free Transactional Lunch.

Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2021

Robustness against Read Committed for Transaction Templates.

Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven

Proc. VLDB Endow., 2021

2020

Distribution Constraints: The Chase for Distributed Data.

Gaetano Geck, Frank Neven, Thomas Schwentick

Proceedings of the 23rd International Conference on Database Theory, 2020

2019

Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.

Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick

ACM Trans. Comput. Log., 2019

Split-Correctness in Information Extraction.

Johannes Doleschal, Benny Kimelfeld, Wim Martens, Yoav Nahshon, Frank Neven

Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

Parallel-Correctness and Parallel-Boundedness for Datalog Programs.

Frank Neven, Thomas Schwentick, Christopher Spinrath, Brecht Vandevoort

Proceedings of the 22nd International Conference on Database Theory, 2019

2018

XML Types.

Frank Neven

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Finite-State Map-Reduce Computation and Relational Algebra Queries.

Frank Neven, Nicole Schweikardt, Frédéric Servais, Tony Tan

ACM Trans. Comput. Log., 2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).

Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi

Dagstuhl Manifestos, 2018

Chisel: Sculpting Tabular and Non-Tabular Data on the Web.

Johannes Doleschal, Nico Höllerich, Wim Martens, Frank Neven

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics.

Bas Ketsman, Frank Neven, Brecht Vandevoort

Proceedings of the 21st International Conference on Database Theory, 2018

Satisfiability for SCULPT-Schemas for CSV-Like Data.

Johannes Doleschal, Wim Martens, Frank Neven, Adam Witkowski

Proceedings of the 21st International Conference on Database Theory, 2018

2017

BonXai: Combining the Simplicity of DTD with the Expressiveness of XML Schema.

Wim Martens, Frank Neven, Matthias Niewerth, Thomas Schwentick

ACM Trans. Database Syst., 2017

Datalog Queries Distributing over Components.

Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn

ACM Trans. Comput. Log., 2017

Optimal Broadcasting Strategies for Conjunctive Queries over Distributed Data.

Bas Ketsman, Frank Neven

Theory Comput. Syst., 2017

Parallel-Correctness and Transferability for Conjunctive Queries.

Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick

J. ACM, 2017

Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems.

Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick

Commun. ACM, 2017

2016

Weaker Forms of Monotonicity for Declarative Networking: A More Fine-Grained Answer to the CALM-Conjecture.

Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn

ACM Trans. Database Syst., 2016

Data partitioning for single-round multi-join evaluation in massively parallel systems.

Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick

SIGMOD Rec., 2016

Research Directions for Principles of Data Management (Abridged).

Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi

SIGMOD Rec., 2016

Parallel Evaluation of Multi-Semi-Joins.

Jonny Daenen, Frank Neven, Tony Tan, Stijn Vansummeren

Proc. VLDB Endow., 2016

Logical Aspects of Massively Parallel and Distributed Systems.

Frank Neven

Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

2015

Deciding Twig-definability of Node Selecting Tree Automata.

Timos Antonopoulos, Dag Hovland, Wim Martens, Frank Neven

Theory Comput. Syst., 2015

SCULPT: A Schema Language for Tabular Data on the Web.

Wim Martens, Frank Neven, Stijn Vansummeren

Proceedings of the 24th International Conference on World Wide Web, 2015

The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2015.

Foto N. Afrati, Frank Neven, Dan Suciu

Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015

Distributed Streaming with Finite Memory.

Frank Neven, Nicole Schweikardt, Frédéric Servais, Tony Tan

Proceedings of the 18th International Conference on Database Theory, 2015

Gumbo: Guarded Fragment Queries over Big Data.

Jonny Daenen, Frank Neven, Tony Tan

Proceedings of the 18th International Conference on Extending Database Technology, 2015

2014

Discovering XSD Keys from XML Data.

Marcelo Arenas, Jonny Daenen, Frank Neven, Martín Ugarte, Jan Van den Bussche, Stijn Vansummeren

ACM Trans. Database Syst., 2014

Remaining CALM in Declarative Networking.

Frank Neven

Proceedings of the Proc. 17th International Conference on Database Theory (ICDT), 2014

2013

Mining Minimal Motif Pair Sets Maximally Covering Interactions in a Protein-Protein Interaction Network.

Peter Boyen, Frank Neven, Dries Van Dyck, Felipe L. Valentim, Aalt D. J. van Dijk

IEEE ACM Trans. Comput. Biol. Bioinform., 2013

Making Queries Tractable on Big Data with Preprocessing.

Wenfei Fan, Floris Geerts, Frank Neven

Proc. VLDB Endow., 2013

Generating, Sampling and Counting Subclasses of Regular Tree Languages.

Timos Antonopoulos, Floris Geerts, Wim Martens, Frank Neven

Theory Comput. Syst., 2013

Simplifying XML Schema: Single-type approximations of regular tree languages.

Wouter Gelade, Tomasz Idziaszek, Wim Martens, Frank Neven, Jan Paredaens

J. Comput. Syst. Sci., 2013

Relational transducers for declarative networking.

Tom J. Ameloot, Frank Neven, Jan Van den Bussche

J. ACM, 2013

Definability problems for graph query languages.

Timos Antonopoulos, Frank Neven, Frédéric Servais

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2012

Succinctness of the Complement and Intersection of Regular Expressions.

Wouter Gelade, Frank Neven

ACM Trans. Comput. Log., 2012

Developing and Analyzing XSDs through BonXai.

Wim Martens, Frank Neven, Matthias Niewerth, Thomas Schwentick

Proc. VLDB Endow., 2012

2011

SLIDER: A Generic Metaheuristic for the Discovery of Correlated Motifs in Protein-Protein Interaction Networks.

Peter Boyen, Dries Van Dyck, Frank Neven, Roeland C. H. J. van Ham, Aalt D. J. van Dijk

IEEE ACM Trans. Comput. Biol. Bioinform., 2011

30 Years of PODS in facts and figures.

Tom J. Ameloot, Maarten Marx, Wim Martens, Frank Neven, Justin van Wees

SIGMOD Rec., 2011

Succinctness of pattern-based schema languages for XML.

Wouter Gelade, Frank Neven

J. Comput. Syst. Sci., 2011

The complexity of text-preserving XML transformations.

Timos Antonopoulos, Wim Martens, Frank Neven

Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011

2010

Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data.

Geert Jan Bex, Wouter Gelade, Frank Neven, Stijn Vansummeren

ACM Trans. Web, 2010

Inference of concise regular expressions and DTDs.

Geert Jan Bex, Frank Neven, Thomas Schwentick, Stijn Vansummeren

ACM Trans. Database Syst., 2010

Optimizing the Region Algebra is PSPACE-complete.

Wouter Gelade, Frank Neven

Inf. Process. Lett., 2010

Simplifying XML schema: single-type approximations of regular tree languages.

Wouter Gelade, Tomasz Idziaszek, Wim Martens, Frank Neven

Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

2009

XML Types.

Frank Neven

Proceedings of the Encyclopedia of Database Systems, 2009

Complexity of Decision Problems for XML Schemas and Chain Regular Expressions.

Wim Martens, Frank Neven, Thomas Schwentick

SIAM J. Comput., 2009

Optimizing Schema Languages for XML: Numerical Constraints and Interleaving.

Wouter Gelade, Wim Martens, Frank Neven

SIAM J. Comput., 2009

Simplifying XML schema: effortless handling of nondeterministic regular expressions.

Geert Jan Bex, Wouter Gelade, Wim Martens, Frank Neven

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009

SLIDER: Mining Correlated Motifs in Protein-Protein Interaction Networks.

Peter Boyen, Frank Neven, Dries Van Dyck, Aalt D. J. van Dijk, Roeland C. H. J. van Ham

Proceedings of the ICDM 2009, 2009

2008

Expressiveness and complexity of XML publishing transducers.

Wenfei Fan, Floris Geerts, Frank Neven

ACM Trans. Database Syst., 2008

Scalable multi-query optimization for exploratory queries over federated scientific databases.

Anastasios Kementsietsidis, Frank Neven, Dieter Van de Craen, Stijn Vansummeren

Proc. VLDB Endow., 2008

Typechecking top-down XML transformations: Fixed input or output schemas.

Wim Martens, Frank Neven, Marc Gyssens

Inf. Comput., 2008

SchemaScope: a system for inferring and cleaning XML schemas.

Geert Jan Bex, Frank Neven, Stijn Vansummeren

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Complexity and composition of synthesized web services.

Wenfei Fan, Floris Geerts, Wouter Gelade, Frank Neven, Antonella Poggi

Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

BioScout: a life-science query monitoring system.

Anastasios Kementsietsidis, Frank Neven, Dieter Van de Craen

Proceedings of the EDBT 2008, 2008

Deterministic top-down tree automata: past, present, and future.

Wim Martens, Frank Neven, Thomas Schwentick

Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008

2007

Logical definability and query languages over ranked and unranked trees.

Michael Benedikt, Leonid Libkin, Frank Neven

ACM Trans. Comput. Log., 2007

Simple off the shelf abstractions for XML schema.

Wim Martens, Frank Neven, Thomas Schwentick

SIGMOD Rec., 2007

Frontiers of tractability for typechecking simple XML transformations.

Wim Martens, Frank Neven

J. Comput. Syst. Sci., 2007

Inferring XML Schema Definitions from XML Data.

Geert Jan Bex, Frank Neven, Stijn Vansummeren

Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

2006

Expressiveness and complexity of XML Schema.

Wim Martens, Frank Neven, Thomas Schwentick, Geert Jan Bex

ACM Trans. Database Syst., 2006

On the complexity of XPath containment in the presence of disjunction, DTDs, and variables.

Frank Neven, Thomas Schwentick

Log. Methods Comput. Sci., 2006

On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas

Wim Martens, Frank Neven, Marc Gyssens

CoRR, 2006

Inference of Concise DTDs from XML Data.

Geert Jan Bex, Frank Neven, Thomas Schwentick, Karl Tuyls

Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

Optimizing Monitoring Queries over Distributed Data.

Frank Neven, Dieter Van de Craen

Proceedings of the Advances in Database Technology, 2006

An Extensible Light-Weight XML-Based Monitoring System for Sequence Databases.

Dieter Van de Craen, Frank Neven, Kerstin Koch

Proceedings of the Data Integration in the Life Sciences, Third International Workshop, 2006

2005

On the complexity of typechecking top-down XML transformations.

Wim Martens, Frank Neven

Theor. Comput. Sci., 2005

Attribute grammars for unranked trees as a query language for structured documents.

Frank Neven

J. Comput. Syst. Sci., 2005

Expressiveness of XSDs: from practice to theory, there and back again.

Geert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick

Proceedings of the 14th international conference on World Wide Web, 2005

Which XML Schemas Admit 1-Pass Preorder Typing?

Wim Martens, Frank Neven, Thomas Schwentick

Proceedings of the Database Theory, 2005

05061 Summary - Foundations of Semi-structured Data.

Frank Neven, Thomas Schwentick, Dan Suciu

Proceedings of the Foundations of Semistructured Data, 6.-11. February 2005, 2005

05061 Abstracts Collection - Foundations of Semistructured Data.

Frank Neven, Thomas Schwentick, Dan Suciu

Proceedings of the Foundations of Semistructured Data, 6.-11. February 2005, 2005

2004

Finite state machines for strings over infinite alphabets.

Frank Neven, Thomas Schwentick, Victor Vianu

ACM Trans. Comput. Log., 2004

DTDs versus XML Schema: A Practical Study.

Geert Jan Bex, Frank Neven, Jan Van den Bussche

Proceedings of the Seventh International Workshop on the Web and Databases, 2004

Complexity of Decision Problems for Simple Regular Expressions.

Wim Martens, Frank Neven, Thomas Schwentick

Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

2003

Typechecking XML views of relational databases.

Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu

ACM Trans. Comput. Log., 2003

Reminiscences on Influential Papers.

Kenneth A. Ross, Frank Neven, Beng Chin Ooi

SIGMOD Rec., 2003

XML with data values: typechecking revisited.

Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu

J. Comput. Syst. Sci., 2003

On the power of tree-walking automata.

Frank Neven, Thomas Schwentick

Inf. Comput., 2003

Logical Definability and Query Languages over Unranked Trees.

Leonid Libkin, Frank Neven

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

XPath Containment in the Presence of Disjunction, DTDs, and Variables.

Frank Neven, Thomas Schwentick

Proceedings of the Database Theory, 2003

Typechecking Top-Down Uniform Unranked Tree Transducers.

Wim Martens, Frank Neven

Proceedings of the Database Theory, 2003

2002

Query automata over finite trees.

Frank Neven, Thomas Schwentick

Theor. Comput. Sci., 2002

Automata Theory for XML Researchers.

Frank Neven

SIGMOD Rec., 2002

Expressiveness of structured document query languages based on attribute grammars.

Frank Neven, Jan Van den Bussche

J. ACM, 2002

A formal model for an expressive fragment of XSLT.

Geert Jan Bex, Sebastian Maneth, Frank Neven

Inf. Syst., 2002

On the Power of Walking for Querying Tree-Structured Data.

Frank Neven

Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Automata, Logic, and XML.

Frank Neven

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001

Adding For-Loops to First-Order Logic.

Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche

Inf. Comput., 2001

Automata-and Logic-Based Pattern Languages for Tree-Structured Data.

Frank Neven, Thomas Schwentick

Proceedings of the Semantics in Databases, 2001

Towards Regular Languages over Infinite Alphabets.

Frank Neven, Thomas Schwentick, Victor Vianu

Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

2000

Expressive and Efficient Pattern Languages for Tree-Structured Data.

Frank Neven, Thomas Schwentick

Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

1999

Typed Query Languages for Databases Containing Queries.

Frank Neven, Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen

Inf. Syst., 1999

Query Automata.

Frank Neven, Thomas Schwentick

Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999

Automata for Unary Queries on Trees.

Frank Neven, Thomas Schwentick

Proceedings of the 11. Workshop Grundlagen von Datenbanken, 1999

Extensions of Attribute Grammars for Structured Document Queries.

Frank Neven

Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

Structured Document Transformations Based on XSL.

Sebastian Maneth, Frank Neven

Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

1998

Structured Document Query Languages Based on Attribute Grammars: Locality and Non-Determinism.

Frank Neven

Proceedings of the Fundamentals of Information Systems, 1998

1997

On Implementing Structured Document Query Facilities on Top of a DOOD.

Frank Neven, Jan Van den Bussche

Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997