# 
# File: create-ALLEXAMPLESDB.cbs
# Author: Manfred Jeusfeld, Thomas Kuehne
# Created: 2023-03-01 (2023-09-18/Manfred)
# -----------------------------------------------------
# Call: cbshell -v create-ALLEXAMPLESDB.cbs
# This script is self-sufficient. It first defines the multi-dimensional constructs
# and then the integrity constraints and then tests the positive and negative examples.
# Uses the public CBserver if local CBserver is not installed.
#



# connect 
startServer -new ALLEXAMPLESDB -t low -u persistent -e 10


tellModel "SOURCES/00-oHome.sml.txt"
showAnswer
why

mkdir MultiDim
cd MultiDim
# echo "Preparing MultiDim module ..."
tellModel "SOURCES/01-multidim-constructs.sml.txt"
showAnswer
why





cd MultiDim
mkdir TestC1n1
cd TestC1n1

tellModel c1-neg1.sml.txt
showAnswer
why


cd MultiDim
mkdir TestC1p1
cd TestC1p1

tellModel c1-pos1.sml.txt
showAnswer

cd MultiDim
mkdir TestC1p2
cd TestC1p2

tellModel c1-pos2.sml.txt
showAnswer


cd MultiDim
mkdir TestC2n1
cd TestC2n1

tellModel c2-neg1.sml.txt
showAnswer


cd MultiDim
mkdir TestC2p1
cd TestC2p1

tellModel c2-pos1.sml.txt
showAnswer



cd MultiDim
mkdir TestC3a
cd TestC3a

# should fail:
tellModel c3-neg1.sml.txt
showAnswer
why


cd MultiDim
mkdir TestC3n2
cd TestC3n2

tellModel c3-neg2.sml.txt
showAnswer

cd MultiDim
mkdir TestC3n3
cd TestC3n3

tellModel c3-neg3.sml.txt
showAnswer


cd MultiDim
mkdir TestC3p1
cd TestC3p1

tellModel c3-pos1.sml.txt
showAnswer



cd MultiDim
mkdir TestC4n1
cd TestC4n1

# should fail:
tellModel c4-neg1.sml.txt
showAnswer


cd MultiDim
mkdir TestC4n3
cd TestC4n3


tellModel c4-neg3.sml.txt
showAnswer


cd MultiDim
mkdir TestC4p1
cd TestC4p1


tellModel c4-pos1.sml.txt
showAnswer




cd MultiDim
mkdir TestC5n1
cd TestC5n1

# should fail:
tellModel c5-neg1.sml.txt
showAnswer


cd MultiDim
mkdir TestC5p1
cd TestC5p1


tellModel c5-pos1.sml.txt
showAnswer



cd MultiDim
mkdir TestUnconnected
cd TestUnconnected


tellModel unconnected.sml.txt
showAnswer

cd MultiDim
mkdir TestAC2n1
cd TestAC2n1


tellModel ac2-neg1.sml.txt
showAnswer


cd MultiDim
mkdir TestAC2p1
cd TestAC2p1

tellModel ac2-pos1.sml.txt
showAnswer


cd MultiDim
mkdir TestAC3n1
cd TestAC3n1

tellModel ac3-neg1.sml.txt
showAnswer


cd MultiDim
mkdir TestAC3p1
cd TestAC3p1

tellModel ac3-pos1.sml.txt
showAnswer


cd MultiDim
mkdir TestAC4n1
cd TestAC4n1

tellModel ac4-neg1.sml.txt
showAnswer


cd MultiDim
mkdir TestAC4p0
cd TestAC4p0

tellModel ac4-pos0.sml.txt
showAnswer



cd MultiDim
mkdir TestAC4p1
cd TestAC4p1


tellModel ac4-pos1.sml.txt
showAnswer
why


cd MultiDim
mkdir TestDisjointDimensions
cd TestDisjointDimensions

tellModel TestDisjointDimensions.sml.txt


cd MultiDim
mkdir TestC3cn1
cd TestC3cn1

# should fail:
tellModel c3c-neg1.sml.txt
showAnswer
why
showAnswer


cd MultiDim
mkdir Antipattern1
cd Antipattern1

tellModel antipattern1.sml.txt
showAnswer
why

cd MultiDim
mkdir Antipattern2
cd Antipattern2

tellModel antipattern2.sml.txt
showAnswer
why

cd MultiDim
mkdir Antipattern2a
cd Antipattern2a

tellModel antipattern2a.sml.txt
why

cd MultiDim
mkdir Antipattern3
cd Antipattern3

tellModel antipattern3.sml.txt
showAnswer
why