X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmathql%2Fxmathql.dtd;h=69b0cab9e0eeb991bacededc4bfc2a50d657dca5;hb=8f89cdd08d9ee0a243cf84201bf42e5503759ee3;hp=88462d5d27111d80a61ebda874cc3d8cea1ba8cb;hpb=85f01e5719399cc2ccf47cbe51f7b8036e12d815;p=helm.git

diff --git a/helm/mathql/xmathql.dtd b/helm/mathql/xmathql.dtd
index 88462d5d2..69b0cab9e 100644
--- a/helm/mathql/xmathql.dtd
+++ b/helm/mathql/xmathql.dtd
@@ -40,6 +40,7 @@
 <!-- MathQL.                                                         -->
 <!-- Operators are unambiguous (binary or unary), so there isn't any -->
 <!-- grouping operator.                                              -->
+<!-- SORTBY operator for sorting query results.                      -->
 <!-- CONST is the constant string; rvar is for references and lvar   -->
 <!-- for list.                                                       -->
 <!-- The attributes binder, rvar, lvar declare variables which are   -->
@@ -50,6 +51,8 @@
 <!-- PROPERTY works on a specified RDF property returning its value. -->
 <!--*****************************************************************-->
 
+<!ENTITY % order '(ascendant|descendant)'>
+
 <!ENTITY % position '(MainHypothesis|Hypothesis|MainConclusion|Conclusion|
                       Body)'>
 
@@ -59,13 +62,14 @@
 
 <!-- MathQL list expression declaration -->
 
-<!ENTITY % listexpr '(Rvar|Lvar|Reference|Pattern|Select|Exists|LetIn|
+<!ENTITY % listexpr '(Rvar|Lvar|Reference|Pattern|Select|LetIn|SortBy|
                       Use|UsedBy|ConstructorsOf|InTheory|TheoryRefTo|
-                      TypeOf|SuperTypeOf|SubTypeOf|Union|Intersect|Diff)'>
+                      TypeOf|SuperTypeOf|SubTypeOf|Union|Intersect|Diff|
+                      Minimize)'>
 
 <!-- MathQL boolean expression declaration -->
 
-<!ENTITY % boolexpr '(BOOL|NOT|AND|OR|IS|SETEQUAL|SUBSET)'>
+<!ENTITY % boolexpr '(BOOL|NOT|AND|OR|IS|SETEQUAL|SUBSET|EXISTS)'>
 
 <!-- MathQL string expression declaration -->
 
@@ -93,8 +97,6 @@
 
 <!ELEMENT Select (In, Where)>
 
-<!ELEMENT Exists (In, Where)>
-
 <!ELEMENT LetIn (%listexpr;, Target)>
 
 <!ELEMENT Use (%listexpr;, Position)>
@@ -125,6 +127,10 @@
 
 <!ELEMENT Diff (%listexpr;, %listexpr;)>
 
+<!ELEMENT SortBy (%listexpr;, SortField)>
+
+<!ELEMENT Minimize %listexpr;>
+
 <!-- MathQL list sub-expressions -->
 
 <!ELEMENT RPrefix (CONST)>
@@ -178,6 +184,10 @@
 <!ATTLIST ItemType
           binder CDATA #REQUIRED>
 
+<!ELEMENT SortField %functexpr;>
+<!ATTLIST SortField 
+          order %order; #IMPLIED>
+
 <!-- MathQL boolean expressions -->
 
 <!ELEMENT BOOL EMPTY>
@@ -196,6 +206,8 @@
 
 <!ELEMENT SUBSET (%listexpr;, %listexpr;)>
 
+<!ELEMENT EXISTS (RVAR, %listexpr;)>
+
 <!-- MathQL string expressions -->
 
 <!ELEMENT CONST (#PCDATA)>