Sciweavers

4397 search results - page 237 / 880
» Relational Algebra Operations
Sort
View
TASE
2007
IEEE
15 years 10 months ago
Commutability of Design Pattern Instantiation and Integration
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
Jing Dong, Tu Peng, Zongyan Qiu
ICALP
2005
Springer
15 years 9 months ago
Combining Intruder Theories
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
Yannick Chevalier, Michaël Rusinowitch
ECSQARU
2009
Springer
15 years 8 months ago
The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases
In this paper, a new algebraic representation by the non-Archimedean fields is proposed to model stratified/ranked knowledge bases. The non-Archimedean representation is in the for...
Jianbing Ma, Weiru Liu, Anthony Hunter
PODS
2006
ACM
116views Database» more  PODS 2006»
16 years 4 months ago
Relational lenses: a language for updatable views
We propose a novel approach to the classical view update problem. The view update problem arises from the fact that modifications to a database view may not correspond uniquely to...
Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vau...
EDBT
2008
ACM
178views Database» more  EDBT 2008»
16 years 4 months ago
An inductive database and query language in the relational model
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
Lothar Richter, Jörg Wicker, Kristina Kessler...