% $Id: XMLInfoSetBasics.html,v 1.1 2003/10/01 07:22:16 connolly Exp $
%
References
- XML Information Set
Working Draft of August 30, 1999
Editors: John Cowan, David Megginson
XMLInfoSetBasics: trait
includes
Set(Item, FiniteSet[Item] for Set[E]),
ListTree(Item, Rel[Item]), %@@REVIEW: children generic to all items
ElementTest(taggedAs, Item, List[Item], Item_tag) % for filter
% 2. Information Items
Item union of document: DocumentItem,
element: ElementItem,
attribute: AttributeItem,
pi: PIItem,
char: CharacterItem,
rse: RSEItem,
comment: CommentItem,
dtd: DTDItem,
entity: EntityItem,
notation: NotationItem,
entityStart: EntityStartMarkerItem,
entityEnd: EntityEndMarkerItem,
namespaceDeclaration: NamespaceDeclarationItem
introduces
% 1. Introduction
describes: InformationSet, Document → Bool
% describes(i, d) ::= i describes d
infosetMin: Document → InformationSet
% minimal information set of a document
infosetMax: Document → InformationSet
% maximal information set of a document
%@@REVIEW: why model the document item as distinct from
% the infoset? a document item describes a document, no?
% 2. Information Items
taggedAs: Item, Item_tag → Bool % auxiliary
asserts
∀ d: Document,
is: InformationSet,
i, i1, i2: Item,
t: Item_tag
% auxiliary
taggedAs(i, t) = (tag(i) = t);
% 1. Introduction
describes(infosetMin(d), d);
describes(infosetMax(d), d);
%@@ hmm... how to specify
% consistency of infosets with the maximial infoset?
% I can see an elaborate, tedious way, but isn't there some
% elegant way to do it?
% describes(is, d) ... infosetMax(d)
[Index]
HTML generated using lsl2html.