summaryrefslogtreecommitdiff
path: root/grammars/database/Database.gf
diff options
context:
space:
mode:
authoraarne <unknown>2003-11-19 17:33:06 +0000
committeraarne <unknown>2003-11-19 17:33:06 +0000
commit1ca5e5398abd42fe71d4fe541e84318df0351e20 (patch)
tree5fe4564ed8270aaedc30f0ca070ae5195f4b9efa /grammars/database/Database.gf
parent18dfde370ec276835c99a3bac9754d5562d6ff7b (diff)
Extending resource.
Diffstat (limited to 'grammars/database/Database.gf')
-rw-r--r--grammars/database/Database.gf33
1 files changed, 33 insertions, 0 deletions
diff --git a/grammars/database/Database.gf b/grammars/database/Database.gf
new file mode 100644
index 000000000..eb0c08d9f
--- /dev/null
+++ b/grammars/database/Database.gf
@@ -0,0 +1,33 @@
+abstract Database = {
+
+flags startcat=Query ;
+
+cat
+ Query ;
+ Category ; Subject ; Value ; Property ; Relation ; Comparison ; Name ;
+ Feature ;
+
+fun
+ WhichAre : Category -> Property -> Query ;
+ IsThere : Category -> Query ;
+ AreThere : Category -> Query ;
+ IsIt : Subject -> Property -> Query ;
+ WhatIs : Value -> Query ;
+
+ MoreThan : Comparison -> Subject -> Property ;
+ TheMost : Comparison -> Category -> Value ;
+ Relatively : Comparison -> Category -> Property ;
+
+ RelatedTo : Relation -> Subject -> Property ;
+
+ Individual : Name -> Subject ;
+ AllN : Category -> Subject ;
+ Any : Category -> Subject ;
+ MostN : Category -> Subject ;
+ EveryN : Category -> Subject ;
+
+ FeatureOf : Feature -> Subject -> Subject ;
+ ValueOf : Feature -> Name -> Value ;
+
+ WithProperty : Category -> Property -> Category ;
+} ;