Web Database
An infinite set of tuples over the schema below containing three relations
{ Obj(oid), Ref(source,label,destination), Val(oid,value) }
-
- Obj is an infinite set of objects
- Ref defines a finite set of links between two objects
- Val defines the value of an object
A web instance is an infinite structure over this schema such that