From: Irene Schena Date: Mon, 23 Sep 2002 12:50:45 +0000 (+0000) Subject: Modified Files: X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~65 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c6b9538995874c6595874e88bc7bf8965e50f14b;p=helm.git Modified Files: 1) grammar.txt xmathql.dtd: relation modified --- diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt index 0416f0187..abbda194e 100644 --- a/helm/mathql/grammar.txt +++ b/helm/mathql/grammar.txt @@ -18,7 +18,7 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) contesto *) | LET BE IN (* assegnamento a value-var in contesto*) - | RELATION ATTR + | RELATION ATTR (* unione insieme risorse in relazione specificata con le risorse in set, ognuna con @@ -27,17 +27,17 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) | INTERSECT (* intersezione *) | DIFF (* differenza *) - := (* relazione (proprieta') - strutturata *) + := "" (* relazione (proprieta') *) | SUB (* proprieta' e sotto-proprieta' *) | SUPER (* proprieta' e super-proprieta' *) - := "" - | - | - (* insieme di stringhe *) + := + (* relazione (proprieta') *) + | "/" + (* insieme di stringhe: + proprieta' strutturata *) := | , diff --git a/helm/mathql/xmathql.dtd b/helm/mathql/xmathql.dtd index 3cf73eba6..96b52a22b 100644 --- a/helm/mathql/xmathql.dtd +++ b/helm/mathql/xmathql.dtd @@ -89,9 +89,10 @@ - + + name CDATA #REQUIRED + refine (sub|super) #IMPLIED> @@ -119,7 +120,7 @@ - +