Jan Paredaens

According to our database1, Jan Paredaens
  • authored at least 130 papers between 1973 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
J-Logic: Logical Foundations for JSON Querying.
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

2016
Structural characterizations of the navigational expressiveness of relation algebras on a tree.
J. Comput. Syst. Sci., 2016

A Formal and Unified Description of XML Manipulation Languages.
Fundam. Inform., 2016

Implication and axiomatization of functional and constant constraints.
Ann. Math. Artif. Intell., 2016

2015
Structural characterizations of the navigational expressiveness of relation algebras on a tree.
CoRR, 2015

2014
XPath/XQuery.
Encyclopedia of Social Network Analysis and Mining, 2014

Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model.
Proceedings of the Foundations of Information and Knowledge Systems, 2014

2013
An Approach towards the Study of Symmetric Queries.
PVLDB, 2013

Simplifying XML Schema: Single-type approximations of regular tree languages.
J. Comput. Syst. Sci., 2013

2012
The Navigational Power of Web Browsers.
Theory Comput. Syst., 2012

What about Constraints in RDF?
Proceedings of the Conceptual Modelling and Its Theoretical Foundations, 2012

Semantics of Constraints in RDFS.
Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

2011
A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form and Minimization.
Comput. J., 2011

2010
On-the-Fly Auditing of Business Processes.
Trans. Petri Nets and Other Models of Concurrency, 2010

Constraints in RDF.
Proceedings of the Semantics in Data and Knowledge Bases - 4th International Workshops, 2010

A Simple but Formal Semantics for XML Manipulation Languages.
Proceedings of the Foundations of Information and Knowledge Systems, 2010

2009
XPath/XQuery.
Proceedings of the Encyclopedia of Database Systems, 2009

On the Expressive Power of the Relational Algebra on Finite Sets of Relation Pairs.
IEEE Trans. Knowl. Data Eng., 2009

On the relationship between workflow models and document types.
Inf. Syst., 2009

A methodology for coupling fragments of XPath with structural indexes for XML documents.
Inf. Syst., 2009

A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form, and Minimization.
Proceedings of the Dataspace: The Final Frontier, 2009

2008
On the expressibility of functions in XQuery fragments.
Inf. Syst., 2008

About X (ML | Path | Query | SLT).
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

2007
First-Order Languages Expressing Constructible Spatial Database Queries.
SIAM J. Comput., 2007

Coupling Fragments of XPath with XML Indexing and Query Decomposition.
Proceedings of the 1st Workshop on Emerging Research Opportunities for Web Data Management (EROW 2007) Collocated with the 11th International Conference on Database Theory (ICDT 2007), 2007

A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documents.
Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2006
Expressive power of an algebra for data mining.
ACM Trans. Database Syst., 2006

On the Expressive Power of XQuery-Based Update Languages.
Proceedings of the Database and XML Technologies, 2006

Structural characterizations of the semantics of XPath as navigation tool on a document.
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Analyzing workflows implied by instance-dependent access rules.
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Query Translation for XPath-Based Security Views.
Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

2005
LiXQuery: a formal foundation for XQuery research.
SIGMOD Record, 2005

Instance-Independent View Serializability for Semistructured Databases
CoRR, 2005

On the Expressive Power of Node Construction in XQuery.
Proceedings of the Eight International Workshop on the Web & Databases (WebDB 2005), 2005

On the Expressive Power of XQuery Fragments.
Proceedings of the Database Programming Languages, 10th International Symposium, 2005

Applying Webmining Techniques to Execution Traces to Support the Program Comprehension Process.
Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 2005

Non-destructive Integration of Form-Based Views.
Proceedings of the Advances in Databases and Information Systems, 2005

2004
A Transaction Model for XML Databases.
World Wide Web, 2004

Solving Equations in the Relational Algebra.
SIAM J. Comput., 2004

A Light but Formal Introduction to XQuery.
Proceedings of the Database and XML Technologies, 2004

2003
Axiomatization of frequent itemsets.
Theor. Comput. Sci., 2003

Instance Independent Concurrency Control for Semistructured Databases.
Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003

2002
Navigating with a Browser.
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

2001
Applying an update method to a set of receivers.
ACM Trans. Database Syst., 2001

Solving equations in the relational algebra
CoRR, 2001

Axiomatization of Frequent Sets.
Proceedings of the Database Theory, 2001

2000
Topological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane.
J. Symb. Log., 2000

Guest Editor's Forword.
J. Comput. Syst. Sci., 2000

Towards a Theory of Movie Database Queries.
Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

Mining Frequent Binary Expressions.
Proceedings of the Data Warehousing and Knowledge Discovery, 2000

Introduction.
Constraint Databases, 2000

Euclidean Query Languages.
Constraint Databases, 2000

1998
Reminiscences on Influential Papers.
SIGMOD Record, 1998

Database theory column: report on PODs '98.
SIGACT News, 1998

First-Order Queries on Finite Structures Over the Reals.
SIAM J. Comput., 1998

Expressiveness and Complexity of Generic Graph Machines.
Theory Comput. Syst., 1998

Merging Graph-Based and Rule-Based Computation: The Language G-Log.
Data Knowl. Eng., 1998

Data Models and Query Languages for Spatial Databases.
Data Knowl. Eng., 1998

Nested Data Cubes for OLAP (Extended Abstract).
Proceedings of the Advances in Database Technologies, 1998

1997
The Complexity of the Evaluation of Complex Algebra Expressions.
J. Comput. Syst. Sci., 1997

On Topological Elementary Equivalence of Spatial Databases.
Proceedings of the Database Theory, 1997

Eucil, Tarski, and Engler Encompassed (Preliminary Report).
Proceedings of the Database Programming Languages, 6th International Workshop, 1997

1996
On Instance-Completeness for Database Query Languages involving Object Creation.
J. Comput. Syst. Sci., 1996

Termination Properties of Spatial Datalog Programs.
Proceedings of the Logic in Databases, 1996

1995
The Expressive Power of Complex Values in Object-Based Data Models
Inf. Comput., August, 1995

G-Log: A Graph-Based Query Language.
IEEE Trans. Knowl. Data Eng., 1995

Lossless Representation of Topological Spatial Data.
Proceedings of the Advances in Spatial Databases, 1995

Semantics in Spatial Databases.
Proceedings of the Semantics in Databases, 1995

Applying an Update Method to a Set of Receivers.
Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

First-order Queries on Finite Structures over the Reals
Proceedings of the Proceedings, 1995

Spatial Databases, The Final Frontier.
Proceedings of the Database Theory, 1995

1994
A Graph-Oriented Object Database Model.
IEEE Trans. Knowl. Data Eng., 1994

A Grammar-Based Approach Towards Unifying Hierarchical Data Models.
SIAM J. Comput., 1994

Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure.
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

Towards a Theory of Spatial Database Queries.
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

On the Foundations of Spatial Databases.
Proceedings of the Dixièmes Journées Bases de Données Avancées, 30 Août, 1994

Clarifying the Structure of Complex Venn Diagrams.
Proceedings of the Workshop on Advanced Visual Interfaces, 1994

1993
GOOD: AGraph-Oriented Object Database System.
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

Merging Graph Based and Rule Based Computation.
Proceedings of the Rules in Database Systems. Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August, 1993

An Object-Oriented Pattern Matching Language.
Proceedings of the Object Technologies for Advanced Software, 1993

A Computational Model for Generic Graph Functions.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Foundations of Database Systems: An Introductory Tutorial.
CISM - Advances in Database Systems, 1993

GOAL, A Graph-Based Object and Association Language.
CISM - Advances in Database Systems, 1993

1992
Converting Nested Algebra Expressions into Flat Algebra Expressions.
ACM Trans. Database Syst., 1992

An Overview of GOOD.
SIGMOD Record, 1992

A Visual Database Management Interface Based on GOOD.
IDS, 1992

The Realm of Generic Transformations in Database Theory.
Grundlagen von Datenbanken, 1992

A Graph- and Object-Oriented Counterpart for SQL.
Future Databases, 1992

Concepts for Graph-Oriented Object Manipulation.
Proceedings of the Advances in Database Technology, 1992

1991
A Language for Generic Graph-Transformations.
Proceedings of the 17th International Workshop, 1991

The Expressive Power of Structured Values in Pure OODB's.
Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

A Categorial Approach to Object-Oriented Data Modeling.
Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

Deductive Languages: A Graph-Based Approach.
Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

G-Log: A Declarative Graphical Query Language.
DOOD, 1991

1990
Checking Functional Consistency in Deductive Databases.
Inf. Process. Lett., 1990

On a Hierarchy of Classes for Nested Databases.
Inf. Process. Lett., 1990

Integration of Functions in Logic Database Systems.
Data Knowl. Eng., 1990

A Graph-Oriented Object Model for Database End-User Interfaces.
Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, 1990

A Graph-Oriented Object Database Model.
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990

Removing Redundancy and Updating Databases.
Proceedings of the ICDT'90, 1990

The Object Oriented Database Models and Their Expressive Power (Working Group).
Proceedings of the Second Workshop on Foundations of Models and Languages for Data and Objects, 1990

1989
A uniform approach toward handling atomic and structured information in the nested relational database model.
J. ACM, 1989

A Graphical Interface Formalism: Specifying Nested Relational Databases.
Proceedings of the Visual Database Systems. Proceedings of the IFIP TC2/WG 2.6 Working Conferenc on Visual Database Systems. Tokyo, 1989

A Grammar-Based Approach Towards Unifying Hierarchical Data Models (Extended Abstract).
Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, May 31, 1989

Integration of Functions in the Fixpoint Semantics of Rule-Based Systems.
Proceedings of the MFDBS 89, 1989

TREES: A Graphical Model for Querying Hierarchical Databases.
Proceedings of the Workshop on Foundations of Models and Languages for Data and Objects, 1989

The Structure of the Relational Database Model
EATCS Monographs on Theoretical Computer Science 17, Springer, ISBN: 978-3-642-69956-6, 1989

1988
Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions.
Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

1987
The Database Theory Column.
Bulletin of the EATCS, 1987

A Formal Definition for Systolic Systems.
Proceedings of the Parallel Algorithms and Architectures, 1987

Database Models, where they are going now?
Proceedings of the MFDBS 87, 1987

A Formal Model for Distributed Information Systems.
Proceedings of the MFDBS 87, 1987

1986
On the Decomposition of Join Dependencies.
Advances in Computing Research, 1986

1984
On the Decomposition of Join Dependencies.
Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984

1983
An Algorithm for Horizontal Decompositions.
Inf. Process. Lett., 1983

Another view of functional and multivalued dependencies in the relational database model.
International Journal of Parallel Programming, 1983

Conditional Dependencies for Horizontal Decompositions.
Proceedings of the Automata, 1983

An Application of the Theory of Graphs and Hypergraphs to the Decomposition of Relational Database Schemes.
Proceedings of the CAAP'83, 1983

1982
A Universal Formalism to Express Decompositions, Functional Dependencies and Other Constraints in a Relational Database.
Theor. Comput. Sci., 1982

Horizontal Decompositions and their Impact on Query Solving.
SIGMOD Record, 1982

A Decomposition Methodology for Cyclic Databases.
Proceedings of the Advances in Data Base Theory, 1982

Horizontal Decompositions for Handling Exceptions to Functional Dependencies.
Proceedings of the Advances in Data Base Theory, 1982

1981
On Horizontal Decompositions.
Proceedings of the XP2 Workshop on Relational Database Theory, 1981

1980
The Interaction of Integrity Constraints in an Information System.
J. Comput. Syst. Sci., 1980

Grant Levels in an Authorization Mechanism.
Inf. Process. Lett., 1980

1979
Decompositions of Relations: A Comprehensive Approach.
Proceedings of the Advances in Data Base Theory, 1979

1978
On the Expressive Power of the Relational Algebra.
Inf. Process. Lett., 1978

1977
A Class of Measures on Formal Languages.
Acta Inf., 1977

1974
A general definition of stochastic automata.
Computing, 1974

1973
Finite stochastic automata with variable transition probabilities.
Computing, 1973


  Loading...