Sciweavers

4397 search results - page 98 / 880
» Relational Algebra Operations
Sort
View
JLP
2006
138views more  JLP 2006»
13 years 10 months ago
Algebraic-coalgebraic specification in CoCasl
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
Till Mossakowski, Lutz Schröder, Markus Rogge...
CAISE
2007
Springer
14 years 4 months ago
Declarative XML Data Cleaning with XClean
Data cleaning is the process of correcting anomalies in a data source, that may for instance be due to typographical errors, or duplicate representations of an entity. It is a cruc...
Melanie Weis, Ioana Manolescu
CORR
2010
Springer
156views Education» more  CORR 2010»
13 years 10 months ago
On CSP and the Algebraic Theory of Effects
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
Rob J. van Glabbeek, Gordon D. Plotkin
ICDE
2009
IEEE
114views Database» more  ICDE 2009»
14 years 5 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
ENTCS
2008
91views more  ENTCS 2008»
13 years 10 months ago
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
Mario Bravetti