Frank Neven

Available identifiers

zbMath Open neven.frankWikidataQ102354754 ScholiaQ102354754MaRDI QIDQ269326

List of research outcomes

Publication	Date of Publication	Type
Robustness against Read Committed for Transaction Templates with Functional Constraints	2024-01-16	Paper
Distribution Constraints: The Chase for Distributed Data	2023-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q5091125	2022-07-21	Paper
Discovering XSD Keys from XML Data	2021-11-25	Paper
Weaker Forms of Monotonicity for Declarative Networking	2021-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q3305360	2020-08-06	Paper
Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics	2020-08-06	Paper
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation	2019-11-22	Paper
Finite-State Map-Reduce Computation and Relational Algebra Queries	2018-08-20	Paper
Parallel-Correctness and Transferability for Conjunctive Queries	2018-05-17	Paper
Optimal broadcasting strategies for conjunctive queries over distributed data	2017-09-20	Paper
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation	2017-07-14	Paper
Datalog Queries Distributing over Components	2017-07-13	Paper
Finite state machines for strings over infinite alphabets	2017-07-12	Paper
Logical definability and query languages over ranked and unranked trees	2017-07-12	Paper
Typechecking XML views of relational databases	2017-06-13	Paper
Optimal Broadcasting Strategies for Conjunctive Queries over Distributed Data	2017-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q5738942	2017-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q5738943	2017-06-13	Paper
Deciding twig-definability of node selecting tree automata	2016-04-18	Paper
Expressiveness of structured document query languages based on attribute grammars	2015-10-30	Paper
Succinctness of the Complement and Intersection of Regular Expressions	2015-09-17	Paper
Relational transducers for declarative networking	2014-02-17	Paper
Simplifying XML schema: single-type approximations of regular tree languages	2014-01-20	Paper
Generating, sampling and counting subclasses of regular tree languages	2013-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4910730	2013-03-19	Paper
Optimizing the region algebra is PSPACE-complete	2012-03-19	Paper
Succinctness of pattern-based schema languages for XML	2011-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q3086931	2011-03-30	Paper
Complexity of Decision Problems for XML Schemas and Chain Regular Expressions	2010-09-06	Paper
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving	2009-11-06	Paper
Typechecking top-down XML transformations: Fixed input or output schemas	2008-08-14	Paper
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables	2007-10-11	Paper
Frontiers of tractability for typechecking simple XML transformations	2007-04-26	Paper
Database Theory - ICDT 2005	2005-09-13	Paper
Mathematical Foundations of Computer Science 2004	2005-08-22	Paper
On the complexity of typechecking top-down XML transformations	2005-06-10	Paper
Attribute grammars for unranked trees as a query language for structured documents	2005-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4473157	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4473158	2004-08-04	Paper
On the power of tree-walking automata.	2003-08-19	Paper
XML with data values: Typechecking revisited.	2003-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4414526	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4414544	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4413449	2003-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4411812	2003-07-10	Paper
A formal model for an expressive fragment of XSLT	2003-02-02	Paper
Adding for-loops to first-order logic	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4779173	2002-11-25	Paper
Query automata over finite trees	2002-07-31	Paper
https://portal.mardi4nfdi.de/entity/Q2767135	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2754175	2001-11-11	Paper
Typed query languages for databases containing queries	2000-03-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Frank Neven