Sciweavers

Share
37 search results - page 1 / 8
» Algebraic Properties of Bag Data Types
Sort
View
VLDB
1991
ACM
190views Database» more  VLDB 1991»
9 years 6 months ago
Algebraic Properties of Bag Data Types
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
Joseph Albert
DBPL
1993
Springer
141views Database» more  DBPL 1993»
9 years 6 months ago
Some Properties of Query Languages for Bags
In this paper we study the expressive power of query languages for nested bags. We de ne the ambient bag language by generalizing the constructs of the relational language of Brea...
Leonid Libkin, Limsoon Wong
ICECCS
2007
IEEE
129views Hardware» more  ICECCS 2007»
9 years 6 months ago
Automated Verification of Shape, Size and Bag Properties
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
9 years 11 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
SSD
1993
Springer
152views Database» more  SSD 1993»
9 years 6 months ago
Realms: A Foundation for Spatial Data Types in Database Systems
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
Ralf Hartmut Güting, Markus Schneider
books