Normal form

In abstract rewriting, an object is in normal form if it cannot be rewritten any further. Depending on the rewriting system and the object, several… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1956-2017
05010019562016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Normal form bisimulation is a powerful theory of program equivalence, originally developed to characterize Lévy-Longo tree… (More)
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In this article, we address the problem of how to extend the definition of functional dependencies (FDs) in incomplete relations… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
A data warehouse is an integrated and time-varying collection of data derived from operational data and primarily used in… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This article takes a first step towards the design and normalization theory for XML documents. We show that, like relational… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
In this paper, we present a new approach for computing normal forms in the quotient algebra A of a polynomial ring R by an ideal… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We address the development of a normalization theory for object-oriented data models that have common features to support objects… (More)
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We show that the duality of a pair of monotone disjunctive normal forms of size n can be tested in n oŽlog n. 
Is this relevant?
1996
1996
We give a straightforward definition for redundancy in individual nested relations and define a new normal form that precisely… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 7
  • figure 9
Is this relevant?
Highly Cited
1993
Highly Cited
1993
This paper demonstrates how reduction to normal form can help in the design of a correct compiler for Dijkstra's guarded command… (More)
Is this relevant?
Highly Cited
1983
Highly Cited
1983
<italic>The concepts behind the five principal normal forms in relational database theory are presented in simple terms.</italic> 
Is this relevant?