# Re: RM formalism supporting partial information

From: David BL <davidbl_at_iinet.net.au>
Date: Sat, 17 Nov 2007 14:10:31 -0800 (PST)

On Nov 17, 4:02 pm, paul c <toledobythe..._at_ooyah.ac> wrote:
> David BL wrote:
> > On Nov 17, 8:18 am, paul c <toledobythe..._at_ooyah.ac> wrote:
> ...
> > r' =
> > {
> > (names={fred, bill}, cars={c1}),
> > (names={}, cars={c2}),
> > (names={joe}, cars={c2})
> > }
> > ...

```>
```

> Okay.
```>
>
>
>
>
```

> > r' has 3 tuples and its information content is
```>

> >     person(fred).
> >     person(bill).
> >     person(joe).

> >     owns_car(fred,c1).
> >     owns_car(bill,c1).
> >     owns_car(joe,c2).
> >     car(c1).
> >     car(c2).
>
```

> > I think of this set of propositions as "inhomogeneous" because they
> > don't all share the same header.
```>

> > Note that the tuple (names={}, cars={c2}) in r' is redundant and could

```
> > be removed without affecting the meaning.
> > ...
```>
```

> Let me remove it then:
```>

> r''=
>       {
>           (names={fred, bill}, cars={c1}),
>           (names={joe}, cars={c2})

>       }
>
```

> If I delete the tuple about joe and c2, what is the "information
> content" (as you put it)?

1 person(joe).
2 car(c2).
3 owns_car(joe,c2).

At a more logical level it makes sense to be able to specify removal of either

```    (1,2 and 3) or
(1 and 3) or
(2 and 3) or
```

3

For example I defined a difference operator that could remove only proposition 3. This would result in

r''' =
{

```        (names={fred, bill}, cars={c1}),
(names={joe}, cars={})
(names={}, cars={c2})
```

}

I guess it is not generally clear how one would actually edit such partial information. Is it reasonable to treat the relation like an ADT and only use operators to view its content or add and remove information? Also, what about integrity constraints and in particular the conventional idea that one needs at least one key to be able to identify a tuple? That may not be necessary because an interpretation can meet the stronger integrity constraints. Received on Sat Nov 17 2007 - 23:10:31 CET

Original text of this message