# 
# File: create-SATEXAMPLESDB.cbs
# Author: Manfred Jeusfeld, Thomas Kuehne
# Created: 2023-03-01 (2024-02-19/Manfred)
# -----------------------------------------------------
# Call: cbshell -v create-SATEXAMPLESDB.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 SATEXAMPLESDB -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
# echo "Preparing constraint queries ..."
tellModel "SOURCES/03-queries.sml.txt"
showAnswer
why

cd MultiDim
mkdir SatelliteArtifacts
cd SatelliteArtifacts

tellModel SatelliteArtifacts.sml.txt
showAnswer
why