Sciweavers

2273 search results - page 270 / 455
» On the Expressiveness and Complexity of ATL
Sort
View
SIGMOD
2007
ACM
128views Database» more  SIGMOD 2007»
16 years 6 months ago
A SQL: 1999 code generator for the pathfinder xquery compiler
The Pathfinder XQuery compiler has been enhanced by a new code generator that can target any SQL:1999-compliant relational database system (RDBMS). This code generator marks an im...
Torsten Grust, Manuel Mayr, Jan Rittinger, Sherif ...
PEPM
2010
ACM
16 years 3 months ago
Optimizing relational algebra operations using generic equivalence discriminators and lazy products
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
Fritz Henglein
ICDE
2009
IEEE
114views Database» more  ICDE 2009»
16 years 1 months ago
A Spreadsheet Algebra for a Direct Data Manipulation Query Interface
— A spreadsheet-like “direct manipulation” interface is more intuitive for many non-technical database users compared to traditional alternatives, such as visual query builde...
Bin Liu, H. V. Jagadish
C5
2008
IEEE
16 years 29 days ago
Toward A More Scalable End-User Scripting Language
End-user scripting languages are relatively easy to learn, but have limited expressive power. Tile-based scripting systems are particularly accessible to beginners, but usually ar...
Alessandro Warth, Takashi Yamamiya, Yoshiki Ohshim...
CHARME
2005
Springer
122views Hardware» more  CHARME 2005»
16 years 19 hour ago
Regular Vacuity
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
Doron Bustan, Alon Flaisher, Orna Grumberg, Orna K...