A query language for multidimensional arrays: design, implementation, and optimization techniques
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
An equational object-oriented data model and its data-parallel query language
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Deciding containment for queries with complex objects (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
View materialization techniques for complex hierarchical objects
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Generalized certificate revocation
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
How to Comprehend Queries Functionally
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
The functional guts of the Kleisli query system
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Optimizing object queries using an effective calculus
ACM Transactions on Database Systems (TODS)
Logics with aggregate operators
Journal of the ACM (JACM)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Information organization and databases
IEEE Intelligent Systems
The topological structures of membrane computing
Fundamenta Informaticae - Membrane computing
Modeling data and objects: an algebraic view point
Theoretical aspects of computer science
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views
ICDT '99 Proceedings of the 7th International Conference on Database Theory
A Framework for the Investigation of Aggregate Functions in Database Queries
ICDT '99 Proceedings of the 7th International Conference on Database Theory
A Semi-monad for Semi-structured Data
ICDT '01 Proceedings of the 8th International Conference on Database Theory
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Bioinformatics Adventures in Database Research
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Object-Oriented Database as a Dynamic System with Implicit State
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
A Partial Semantics for Object Data Models with Static Binding
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Data Structure as Topological Spaces
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Modeling Data and Objects: An Algebraic View Point
Theoretical Aspects of Computer Science, Advanced Lectures [First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000]
Union Types for Semistructured Data
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
On the Power of Incremental Evaluation in SQL-Like Languages
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Incremental recomputation in local languages
Information and Computation
Theoretical Computer Science - Database theory
On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Implementing collection classes with monads
Mathematical Structures in Computer Science
Kleisli, a functional query system
Journal of Functional Programming
Processing XML streams with deterministic automata and stream indexes
ACM Transactions on Database Systems (TODS)
Deciding well-definedness of XQuery fragments
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the complexity of nonrecursive XQuery and functional query languages on complex values
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An approach for pipelining nested collections in scientific workflows
ACM SIGMOD Record
Query reformulation with constraints
ACM SIGMOD Record
Database query languages and functional logic programming
New Generation Computing
On the complexity of nonrecursive XQuery and functional query languages on complex values
ACM Transactions on Database Systems (TODS)
Well-definedness and semantic type-checking for the nested relational calculus
Theoretical Computer Science
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
Electronic Notes in Theoretical Computer Science (ENTCS)
On deciding well-definedness for query languages on trees
Journal of the ACM (JACM)
A crash course on database queries
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Polymorphic type inference for the named nested relational calculus
ACM Transactions on Computational Logic (TOCL)
DFL: A dataflow language based on Petri nets and nested relational calculus
Information Systems
Resource bound analysis for database queries
Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Annotated XML: queries and provenance
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
FLUX: functional updates for XML
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
On the expressiveness of implicit provenance in query and update languages
ACM Transactions on Database Systems (TODS)
Mapping the NRC Dataflow Model to the Open Provenance Model
Provenance and Annotation of Data and Processes
Data Lineage Model for Taverna Workflows with Lightweight Annotation Requirements
Provenance and Annotation of Data and Processes
Equivalence of nested queries with mixed semantics
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Optimizing relational algebra operations using generic equivalence discriminators and lazy products
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
A formal model of dataflow repositories
DILS'07 Proceedings of the 4th international conference on Data integration in the life sciences
DILS'07 Proceedings of the 4th international conference on Data integration in the life sciences
Typed category theory-based micro-view emergency knowledge representation
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Links: web programming without tiers
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Provenance as dependency analysis
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Proceedings of the 1st International Workshop on Workflow Approaches to New Data-centric Science
A graph model of data and workflow provenance
TAPP'10 Proceedings of the 2nd conference on Theory and practice of provenance
Generic multiset programming for language-integrated querying
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
Semantic subtyping with an SMT solver
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Kleisli category and database mappings
International Journal of Intelligent Information and Database Systems
Database theory: query languages
Algorithms and theory of computation handbook
Behavioral simulations in MapReduce
Proceedings of the VLDB Endowment
Provenance for aggregate queries
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Making standard ML a practical database programming language
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
On the expressiveness of implicit provenance in query and update languages
ICDT'07 Proceedings of the 11th international conference on Database Theory
Structural recursion on ordered trees and list-based complex objects
ICDT'07 Proceedings of the 11th international conference on Database Theory
Generic multiset programming with discrimination-based joins and symbolic Cartesian products
Higher-Order and Symbolic Computation
Putting lipstick on pig: enabling database-style workflow provenance
Proceedings of the VLDB Endowment
Petri net + nested relational calculus = dataflow
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Collection-Oriented scientific workflows for integrating and analyzing biological data
DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences
Well-definedness and semantic type-checking in the nested relational calculus and XQuery
ICDT'05 Proceedings of the 10th international conference on Database Theory
Provenance as dependency analysis
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
The Topological Structures of Membrane Computing
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
High-level data structures: technical perspective
Communications of the ACM
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Proceedings of the 32nd symposium on Principles of database systems
Representing mapreduce optimisations in the nested relational calculus
BNCOD'13 Proceedings of the 29th British National conference on Big Data
Effective quotation: relating approaches to language-integrated query
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Hi-index | 0.02 |