Sciweavers

2018 search results - page 23 / 404
» Code Normal Forms
Sort
View
PODS
2006
ACM
114views Database» more  PODS 2006»
14 years 10 months ago
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF
A recently introduced information-theoretic approach to analyzing redundancies in database design was used to justify normal forms like BCNF that completely eliminate redundancies...
Solmaz Kolahi, Leonid Libkin
CDC
2009
IEEE
143views Control Systems» more  CDC 2009»
14 years 1 months ago
Extended nonlinear observable canonical form for multi-output dynamical systems
— In this paper, we give sufficient conditions which guarantee the existence of a diffeomorphism in an extended state space that allows to transform a multi-output nonlinear dyn...
Driss Boutat, Krishna Busawon
IR
2007
13 years 9 months ago
Restricted inflectional form generation in management of morphological keyword variation
Word form normalization through lemmatization or stemming is a standard procedure in information retrieval because morphological variation needs to be accounted for and several la...
Kimmo Kettunen, Eija Airio, Kalervo Järvelin
APAL
2004
73views more  APAL 2004»
13 years 9 months ago
Shrinking games and local formulas
Gaifman's normal form theorem showed that every first order sentence of quantifier rank n is equivalent to a Boolean combination of "scattered local sentences", whe...
H. Jerome Keisler, Wafik Boulos Lotfallah