Re: Databases as objects

From: frebe73@xxxxxxxxx
Date: 28 Dec 2006 20:43:56 -0800

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

.

Follow-Ups:
- Re: Databases as objects
  - From: Thomas Gagne

Prev by Date: Re: double-entry bookkeeping unneeded?
Next by Date: Re: Databases as objects
Previous by thread: Re: Databases as objects
Next by thread: Re: Databases as objects
Index(es):
- Date
- Thread

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 ... In that case, at least, sum() is how we do it. ...
(comp.object)