Re: Databases as objects

frebe73@xxxxxxxxx wrote:
RA is great, but it proves only structural (relational) correctness. If
there's an algebra for network databases then it could prove structural
(network) correctness as well. I think both are good things.

In addition to structural correctness we can test for semantic
correctness. In banking systems one way to do that is to compare all
the debit and credit accounts to make sure they net $0.

Why wouldn't relational algebra be able to do that? A simple select
sum() would solve the problem.

Fredrik Bertilsson
http://frebe.php0h.com

In that case, at least, sum() is how we do it.

--
Visit <http://blogs.instreamfinancial.com/anything.php> to read my rants on technology and the finance industry.
.

Relevant Pages

  • Re: Databases as objects
    ... there's an algebra for network databases then it could prove structural ... In addition to structural correctness we can test for semantic ... Why wouldn't relational algebra be able to do that? ...
    (comp.object)
  • Re: Databases as objects
    ... there's an algebra for network databases then it could prove structural ... In addition to structural correctness we can test for semantic ... Why wouldn't relational algebra be able to do that? ...
    (comp.object)
  • Re: Demonstrating a most-intriguing summation
    ... then change variables and/or use symmetric polynomials to deal with ... the sum of the inverse of the square of the roots, ... attempts to demonstrate its correctness have been unsuccessful, ... So all that remains is to show that the positive roots of fare ...
    (sci.math.symbolic)