/*
 * RA script used to create a sample database.
 */
\sqlexec_{DROP TABLE IF EXISTS Frequents};
\sqlexec_{DROP TABLE IF EXISTS Serves};
\sqlexec_{DROP TABLE IF EXISTS Likes};
\sqlexec_{DROP TABLE IF EXISTS Bar};
\sqlexec_{DROP TABLE IF EXISTS Beer};
\sqlexec_{DROP TABLE IF EXISTS Drinker};
\sqlexec_{
CREATE TABLE Bar(name VARCHAR(20) NOT NULL PRIMARY KEY,
                 address VARCHAR(20))
};
\sqlexec_{
CREATE TABLE Beer(name VARCHAR(20) NOT NULL PRIMARY KEY,
                  brewer VARCHAR(20))
};
\sqlexec_{
CREATE TABLE Drinker(name VARCHAR(20) NOT NULL PRIMARY KEY,
                     address VARCHAR(20))
};
\sqlexec_{
CREATE TABLE Frequents(drinker VARCHAR(20) NOT NULL REFERENCES Drinker(name),
                       bar VARCHAR(20) NOT NULL REFERENCES Bar(name),
                       times_a_week SMALLINT CHECK(times_a_week > 0),
                       PRIMARY KEY(drinker, bar))
};
\sqlexec_{
CREATE TABLE Serves(bar VARCHAR(20) NOT NULL REFERENCES Bar(name),
                    beer VARCHAR(20) NOT NULL REFERENCES Beer(name),
                    price DECIMAL(5,2) CHECK(price > 0),
                    PRIMARY KEY(bar, beer))
};
\sqlexec_{
CREATE TABLE Likes(drinker VARCHAR(20) NOT NULL REFERENCES Drinker(name),
                   beer VARCHAR(20) NOT NULL REFERENCES Beer(name),
                   PRIMARY KEY(drinker, beer))
};
\sqlexec_{INSERT INTO Bar VALUES('Down Under Pub', '802 W. Main Street')};
\sqlexec_{INSERT INTO Bar VALUES('The Edge', '108 Morris Street')};
\sqlexec_{INSERT INTO Bar VALUES('James Joyce Pub', '912 W. Main Street')};
\sqlexec_{INSERT INTO Bar VALUES('Satisfaction', '905 W. Main Street')};
\sqlexec_{INSERT INTO Bar VALUES('Talk of the Town', '108 E. Main Street')};
\sqlexec_{INSERT INTO Beer VALUES('Amstel', 'Amstel Brewery')};
\sqlexec_{INSERT INTO Beer VALUES('Budweiser', 'Anheuser-Busch Inc.')};
\sqlexec_{INSERT INTO Beer VALUES('Corona', 'Grupo Modelo')};
\sqlexec_{INSERT INTO Beer VALUES('Dixie', 'Dixie Brewing')};
\sqlexec_{INSERT INTO Beer VALUES('Erdinger', 'Erdinger Weissbrau')};
\sqlexec_{INSERT INTO Beer VALUES('Full Sail', 'Full Sail Brewing')};
\sqlexec_{INSERT INTO Drinker VALUES('Amy', '100 W. Main Street')};
\sqlexec_{INSERT INTO Drinker VALUES('Ben', '101 W. Main Street')};
\sqlexec_{INSERT INTO Drinker VALUES('Coy', '200 S. Duke Street')};
\sqlexec_{INSERT INTO Drinker VALUES('Dan', '300 N. Duke Street')};
\sqlexec_{INSERT INTO Drinker VALUES('Eve', '100 W. Main Street')};
\sqlexec_{INSERT INTO Frequents VALUES('Amy', 'James Joyce Pub', 2)};
\sqlexec_{INSERT INTO Frequents VALUES('Ben', 'James Joyce Pub', 1)};
\sqlexec_{INSERT INTO Frequents VALUES('Ben', 'Satisfaction', 2)};
\sqlexec_{INSERT INTO Frequents VALUES('Ben', 'Talk of the Town', 1)};
\sqlexec_{INSERT INTO Frequents VALUES('Coy', 'Down Under Pub', 1)};
\sqlexec_{INSERT INTO Frequents VALUES('Coy', 'The Edge', 1)};
\sqlexec_{INSERT INTO Frequents VALUES('Dan', 'Down Under Pub', 2)};
\sqlexec_{INSERT INTO Frequents VALUES('Dan', 'The Edge', 1)};
\sqlexec_{INSERT INTO Frequents VALUES('Dan', 'James Joyce Pub', 1)};
\sqlexec_{INSERT INTO Frequents VALUES('Dan', 'Satisfaction', 2)};
\sqlexec_{INSERT INTO Frequents VALUES('Dan', 'Talk of the Town', 2)};
\sqlexec_{INSERT INTO Frequents VALUES('Eve', 'James Joyce Pub', 2)};
\sqlexec_{INSERT INTO Likes VALUES('Amy', 'Amstel')};
\sqlexec_{INSERT INTO Likes VALUES('Amy', 'Corona')};
\sqlexec_{INSERT INTO Likes VALUES('Ben', 'Amstel')};
\sqlexec_{INSERT INTO Likes VALUES('Ben', 'Budweiser')};
\sqlexec_{INSERT INTO Likes VALUES('Coy', 'Dixie')};
\sqlexec_{INSERT INTO Likes VALUES('Dan', 'Amstel')};
\sqlexec_{INSERT INTO Likes VALUES('Dan', 'Budweiser')};
\sqlexec_{INSERT INTO Likes VALUES('Dan', 'Corona')};
\sqlexec_{INSERT INTO Likes VALUES('Dan', 'Dixie')};
\sqlexec_{INSERT INTO Likes VALUES('Dan', 'Erdinger')};
\sqlexec_{INSERT INTO Likes VALUES('Eve', 'Amstel')};
\sqlexec_{INSERT INTO Likes VALUES('Eve', 'Corona')};
\sqlexec_{INSERT INTO Serves VALUES('Down Under Pub', 'Amstel', 2.75)};
\sqlexec_{INSERT INTO Serves VALUES('Down Under Pub', 'Budweiser', 2.25)};
\sqlexec_{INSERT INTO Serves VALUES('Down Under Pub', 'Corona', 3.00)};
\sqlexec_{INSERT INTO Serves VALUES('The Edge', 'Amstel', 2.75)};
\sqlexec_{INSERT INTO Serves VALUES('The Edge', 'Budweiser', 2.50)};
\sqlexec_{INSERT INTO Serves VALUES('The Edge', 'Corona', 3.00)};
\sqlexec_{INSERT INTO Serves VALUES('James Joyce Pub', 'Amstel', 3.00)};
\sqlexec_{INSERT INTO Serves VALUES('James Joyce Pub', 'Corona', 3.25)};
\sqlexec_{INSERT INTO Serves VALUES('James Joyce Pub', 'Dixie', 3.00)};
\sqlexec_{INSERT INTO Serves VALUES('James Joyce Pub', 'Erdinger', 3.50)};
\sqlexec_{INSERT INTO Serves VALUES('Satisfaction', 'Amstel', 2.75)};
\sqlexec_{INSERT INTO Serves VALUES('Satisfaction', 'Budweiser', 2.25)};
\sqlexec_{INSERT INTO Serves VALUES('Satisfaction', 'Corona', 2.75)};
\sqlexec_{INSERT INTO Serves VALUES('Satisfaction', 'Dixie', 2.75)};
\sqlexec_{INSERT INTO Serves VALUES('Satisfaction', 'Full Sail', 2.75)};
\sqlexec_{INSERT INTO Serves VALUES('Talk of the Town', 'Amstel', 2.50)};
\sqlexec_{INSERT INTO Serves VALUES('Talk of the Town', 'Budweiser', 2.20)};

/* Here is an example query, which returns beers liked by those drinkers
   who do not frequent James Joyce Pub: */

\project_{beer} (

  ((\project_{name}          // all drinkers
     Drinker)
   \diff
   (\rename_{name}           // rename to be consistent
      \project_{drinker}     // drinkers who frequent JJP
        \select_{bar = 'James Joyce Pub'}
          Frequents))

  \join_{drinker = name}     // join with Likes to find beers

  Likes

);