|
ΓΕΝΙΚΑ |
Ο σκοπός του μαθήματος
είναι να εισάγει τους μεταπτυχιακούς
φοιτητές που θα το παρακολουθήσουν σε
θεμελιώδεις έννοιες και τεχνικές των Βάσεων
Δεδομένων.
Το μάθημα απευθύνεται
σε φοιτητές που έχουν παρακολουθήσει ήδη
προπτυχιακά μαθήματα Βάσεων Δεδομένων (για
παράδειγμα το μάθημα Σχεδίαση και Χρήση
Βάσεων Δεδομένων του Τμήματος μας) ή
Τεχνητής Νοημοσύνης (για παράδειγμα το
μάθημα Τεχνητή Νοημοσύνης ή Λογικού
Προγραμματισμού του Τμήματος μας) .
Υπόβαθρο σε Θεωρητική
Πληροφορική και ειδικότερα σε Μαθηματική
Λογική, Αλγόριθμους και Υπολογιστική
Πολυπλοκότητα θα είναι ιδιαίτερα χρήσιμο στο
μάθημα.
|
|
ΥΛΗ ΤΟΥ ΜΑΘΗΜΑΤΟΣ |
-
The relational model
-
Relational query languages: algebra,
calculi, non-recursive datalog,
conjunctive queries, tableau queries.
Equivalence
theorems and expressive power.
-
Query optimization
for conjunctive, tableau and Datalog
queries.
-
Datalog and
recursion: Datalog, Datalog with
negation, model-theoretic and fixpoint
semantics, proof-theory.
-
Expressiveness and
complexity issues
-
Incomplete
information in relational databases
-
Constraint databases
|
|
ΒΑΘΜΟΛΟΓΙΑ |
- Τέσσερεις σειρές ασκήσεων που περιλαμβάνουν τη λύση θεωρητικών προβλημάτων. Δεν υπάρχει τελική εξέταση.
|
|
ΒΙΒΛΙΟΓΡΑΦΙΑ |
-
Serge Abiteboul, Richard Hull
and Victor Vianu. Foundations of
Databases. Addison-Wesley, 1995.
(κύριο
σύγγραμμα)
http://db.bell-labs.com/user/hull/FoundDB.html
The book is available for download at the Technical University of Vienna:
Frontmatter
Toc
A
B
C
D
E
F
Bibliography
Index
(username "stud", password "tu")
-
Jeffrey Ullman.
Principles of Database and Knowledge-Base
systems. Volumes I and II. Computer Science
Press, 1988.
-
David Maier. The Theory
of Relational Databases. Computer Science
Press, 1983.
-
Peter Revesz.
Introduction to Constraint Databases,
Springer, New York, 2002.
-
Hector Garcia-Molina,
Jeffrey Ullman and Jennifer Widom. Database
Systems: The Complete Book. Prentice-Hall,
2002. (προπτυχιακό επίπεδο)
- Άρθρα από τη σχετική βιβλιογραφία.
|