TY - THES A1 - Altus, Margita T1 - Decision support for conceptual database design based on the evidence theory : an intelligent dialogue interface for conceptual database design Y1 - 2001 ER - TY - CHAP A1 - Balaban, Mira A1 - Jurk, Steffen T1 - Intentions of Operations: Characterization and Preservation T2 - Advanced Conceptual Modeling Techniques, proceedings 2nd International Workshop on ECDM, 2002, Tampere, Finnland, Oktober 7 - 11, 2002 KW - operations Y1 - 2002 SN - 978-3-540-20255-4 SP - 100 EP - 111 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Balaban, Mira A1 - Jurk, Steffen ED - Troels, Andreasen ED - Motro, Amihai ED - Christiansen, Henning ED - Larsen, Henrik Legind T1 - Effect Preservation as a Means for Achieving Update Consistency KW - consistency Y1 - 2002 ER - TY - CHAP A1 - Balaban, Mira A1 - Jurk, Steffen ED - Gertz, Michael T1 - Toward Effect Preservation of Updates with Loops T2 - Integrity and internal control in information systems V, Fifth Working Conference on Integrity and Internal Control in Information Systems, November 11 - 12, 2002, Bonn, Germany KW - effect preservation Y1 - 2002 SN - 1-4020-7473-5 SP - 59 EP - 75 PB - Kluwer Acad. Publ. CY - Boston, Mass. [u.a.] ER - TY - CHAP A1 - Beim Graben, Peter A1 - Huber, Markus A1 - Römer, Ronald A1 - Schmitt, Ingo A1 - Wolff, Matthias ED - Berton, André ED - Haiber, Udo ED - Minker, Wolfgang T1 - Der Fockraum als Labyrinth: Wissensrepräsentation und Problemlösungen am Beispiel des Mouse-Maze-Problems T2 - Elektronische Sprachsignalverarbeitung, Tagungsband der 29. Konferenz, Ulm, 7.-9. März 2018 Y1 - 2018 UR - http://essv2018.de/de/programm/ SN - 978-3-95908-128-3 SP - 167 EP - 174 PB - TUDpress CY - Dresden ER - TY - CHAP A1 - Bertossi, Leopoldo E. A1 - Katona, Gyula O. H. A1 - Schewe, Klaus-Dieter A1 - Thalheim, Bernhard ED - Leopoldo, Bertossi T1 - Semantics in databases T2 - Semantics in databases, second international workshop, Dagstuhl Castle, Germany, January 7 - 12, 2001, revised papers KW - semantics KW - databases Y1 - 2003 SN - 3-540-00957-4 SP - 1 EP - 6 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Binemann-Zdanowicz, Aleksander T1 - Systematization of Approaches to Equality-Generating Constraints Y1 - 2000 ER - TY - CHAP A1 - Binemann-Zdanowicz, Aleksander T1 - Approaching Operational Semantics for Information System Modeling and Simulation T2 - Proceedings, Jahrestagung der Gesellschaft für Informatik e.V. KW - information system modeling Y1 - 2002 CY - Köllen Verlag ER - TY - RPRT A1 - Binemann-Zdanowicz, Aleksander T1 - Towards Information System Modeling on the Basis of ASM Semantics Y1 - 2001 PB - BTU, Inst. of Computer Science CY - Cottbus ER - TY - CHAP A1 - Binemann-Zdanowicz, Aleksander A1 - Thalheim, Bernhard T1 - Modeling of Information Services on the Basis of ASM Semantics T2 - Abstract state machines 2003, 10th international workshop, proceedings, Taormina, Italy, March 3 - 7, 2003 KW - abstract state machines Y1 - 2003 SN - 3-540-00624-9 SP - 408 EP - 410 PB - Springer CY - Berlin [u.a.] ER -