Search results for "nested relational calculus"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jan Van den Bussche, Stijn Vansummeren	Polymorphic type inference for the named nested relational calculus.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	named nested relational calculus, typability, complexity, Type inference
2	Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche	Petri Net + Nested Relational Calculus = Dataflow.	OTM Conferences	2005	DBLP DOI BibTeX RDF
2	Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract.	ICDT	2005	DBLP DOI BibTeX RDF
1	Val Tannen	Provenance for database transformations.	EDBT	2010	DBLP DOI BibTeX RDF
1	Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche	DFL: A dataflow language based on Petri nets and nested relational calculus.	Inf. Syst.	2008	DBLP DOI BibTeX RDF
1	Peter Buneman, James Cheney, Stijn Vansummeren	On the expressiveness of implicit provenance in query and update languages.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	nested relational calculus, nested update language, Provenance, conservativity
1	J. Nathan Foster, Todd J. Green, Val Tannen	Annotated XML: queries and provenance.	PODS	2008	DBLP DOI BibTeX RDF	xquery, xml, data provenance, semirings, complex values
1	Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	Well-definedness and semantic type-checking for the nested relational calculus.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	A crash course on database queries.	PODS	2007	DBLP DOI BibTeX RDF	nested relational calculus, runtime error, typability, well-definedness, reflection, type system, type inference, XQuery, relational algebra
1	Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery	CoRR	2004	DBLP BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )