Filters








221 Hits in 1.4 sec

Bulk Types: Built-in or Add-On? [chapter]

Florian Matthes, Joachim W. Schmidt
2000 Fully Integrated Data Environments  
Our long-term experience with bulk types in the DBPL language and system clearly shows the limitation of the built-in approach: built-in Advanced Bulk, as elaborate as it may be, frequently does not cover  ...  We report our current work on open database application systems which favours DBPLs with bulk types as add-ons, and outline some of the technological requirements for highly reusable implementations of  ...  of this paper that helped in streamlining the flow of argumentation.  ... 
doi:10.1007/978-3-642-59623-0_16 fatcat:t6qmrfzzabhnhfrz5yb56f6754

On the Formal Specification and Derivation of Relational Database Applications

Roberto Souto, Maior de Barros
1998 Electronical Notes in Theoretical Computer Science  
The development of database applications is usually carried out informally. The derivation of database programs directly from formal speci cations is a well known and unsolved problem.  ...  Most of the previous work on the area either tried to solve the problem too generally or was restricted to some trivial aspects, for example deriving the database structure and/or simple operations.  ...  The nancial support for the Ph.D. course was provided by CAPES (Brazilian Federal Agency for Postgraduate Education) and by UFPE (Federal University of Pernambuco). 21 Barros  ... 
doi:10.1016/s1571-0661(05)80226-9 fatcat:owoxo3zemzhffh3mavcvyptu34

Database Application Development as an Object Modeling Activity

Manfred A. Jeusfeld, Michael Mertikas, Ingrid Wetzel, Matthias Jarke, Joachim W. Schmidt
1990 Very Large Data Bases Conference  
In an second contribution, selected characteristics of such entities and relationships are modeled uniformly in a software information system.  ...  Besides discussing the interaction of these aspects of the DAIDA methodology, the paper outlines an operational project prototype and reports first experiences.  ...  ., concurrency control is provided by the DBPL system.  ... 
dblp:conf/vldb/JeusfeldMWJS90 fatcat:hqc3bh4hvrfmvcoe35ykuffijq

Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511)

James Cheney, Torsten Grust, Dimitrios Vytiniotis, Marc Herbstritt
2015 Dagstuhl Reports  
This report collects the abstracts of talks and other activities, a summary of the group discussions at the seminar, and a list of outcomes.  ...  This report documents the program and the outcomes of Dagstuhl Seminar 14511 "Programming Languages for Big Data (PlanBig)".  ...  DBPL The final morning of the seminar saw a discussion of the future of DBPL, the International Symposium on Database Programming Languages, which has been running biennially since 1987.  ... 
doi:10.4230/dagrep.4.12.48 dblp:journals/dagstuhl-reports/CheneyGV14 fatcat:jhd5yt7ey5chzjhtycdv3pt3pm

Structures for manipulating proposed updates in object-oriented databases

Michael Doherty, Richard Hull, Mohammed Rupawalla
1996 Proceedings of the 1996 ACM SIGMOD international conference on Management of data - SIGMOD '96  
A fundamental issue concerns the trade-o between the \accuracy" or \robustness" of a form of delta representation, and the ease of access and manipulation of that form.  ...  This paper introduces a comprehensive f r a m e w ork for specifying a broad array of forms for representing deltas for complex value types (tuple, set, bag, list, o-set and dictionary).  ...  Also, we a r e very thankful to Marcia Derr and Jacques Durand for numerous discussions concerning the Heraclitus paradigm and practical examples of its usefulness.  ... 
doi:10.1145/233269.233344 dblp:conf/sigmod/DohertyHR96 fatcat:vhhiw2yv4rax5awkullwcvdiry

DAIDA: an environment for evolving information systems

M. Jarke, J. Mylopoulos, J. W. Schmidt, Y. Vassiliou
1992 ACM Transactions on Information Systems  
The project has implemented an environment based on state-of-the-art languages for requirements modeling, design and implementation of information systems.  ...  We present a framework for the development of information systems based on the premise that the knowledge that influences the development process needs to somehow be captured, represented, and managed  ...  employing the type of expertise available to a human information system developer.  ... 
doi:10.1145/128756.128757 fatcat:khnumtyrybdkbjdekbharocrpi

Managing knowledge about information system evolution

Matthias Jarke, Thomas Rose
1988 SIGMOD record  
the relationship of these system components to the real-world environment m which the mformation system 1s mtended to function A decision-centered documentation methodology faclhtates commumcation across  ...  Thus paper describes the desrgn and mlhal prototype implementation of a knowledge base management system (KBMS) for controllmg database software development and maintenance The KBMS employs a version of  ...  Acknowledgments This work was supported In part by the  ... 
doi:10.1145/971701.50239 fatcat:7vlwxips6zff7lblvk6bot2tyq

Page 65 of Library & Information Science Abstracts Vol. , Issue 9 [page]

1994 Library & Information Science Abstracts  
(SE) 9409463 The DBPL project: advances in modular database programming. J. W. Schmidt and F. Matthes. Information Systems, 19 (2) Mar 94, p.121-40. il-refs.  ...  The DBPL language was based on Modula-2 with three built in extensions which were considered necessary for data intensive applications: a parametric bulk type constructor for keyed set or relations; a  ... 

Advancing Knowledge Creation in Education Through Tripartite Partnerships

Sharon Friesen, Barbara Brown
2021 Canadian Journal of Learning and Technology  
guided by the principles of knowledge building/knowledge creation.  ...  The purpose of this paper is to highlight the work of one tripartite partnership with stakeholders to improve and strengthen novice teachers' pedagogical designs using design based professional learning  ...  system, is in its infancy.  ... 
doi:10.21432/cjlt28052 fatcat:yqf5yqoxpncy3cgde37cwtrnzy

On type systems for object-oriented database programming languages

Yuri Leontiev, M. Tamer Özsu, Duane Szafron
2002 ACM Computing Surveys  
The result of this extensive analysis shows that while each of the requirements is satisfied by at least one type system, no type system satisfies all of them.  ...  It also enables identification of the mechanisms that lie behind the strengths and weaknesses of the current type systems.  ...  This follows from the DBPL requirement 6. (6) Verifiable and sound type system (as a consequence of the DBPL requirement 6). (7) Incremental type checking (as a consequence of the DBPL modularity requirement  ... 
doi:10.1145/592642.592643 fatcat:mz2t56cf6vcpzisqgsckkgy77a

Managing knowledge about information system evolution

Matthias Jarke, Thomas Rose
1988 Proceedings of the 1988 ACM SIGMOD international conference on Management of data - SIGMOD '88  
the relationship of these system components to the real-world environment m which the mformation system 1s mtended to function A decision-centered documentation methodology faclhtates commumcation across  ...  Thus paper describes the desrgn and mlhal prototype implementation of a knowledge base management system (KBMS) for controllmg database software development and maintenance The KBMS employs a version of  ...  Acknowledgments This work was supported In part by the  ... 
doi:10.1145/50202.50239 dblp:conf/sigmod/JarkeR88 fatcat:4vqefpvz5bdv5db4cgvyk3jpge

Emergence in School Systems: Lessons from Complexity and Pedagogical Leadership

Gabriela Alonso-Yanez, Armando Paulino Preciado-Babb, Barbara Brown, Sharon Friesen
2021 Canadian Journal of Educational Administration and Policy  
Using a complexity-thinking framework, the purpose of this study was to understand how leadership practices contribute to shaping change in school systems and how change occurred across the system.  ...  The theoretical framework for this study draws on conceptual advances from two bodies of scholarship: 1) complexity thinking in education, which has recently focused on school system change and, 2) school  ...  Three types of data were used in the study: interviews, document analysis, and data extracted from a questionnaire.  ... 
doi:10.7202/1078518ar fatcat:apmxxebszjc7bf6mlkma4hzezy

Signature-tagged mutagenesis: technical advances in a negative selection method for virulence gene identification

Henri L Saenz, Christoph Dehio
2005 Current Opinion in Microbiology  
Despite the preservation of the basic design, the STM method has been developed further owing to recent advances including different designs of the signature-tags and profound changes in the mode of detection  ...  These advances promoted substantially the application range and versatility of the STM method.  ...  Parasitology of the Howard Hughes Medical Institute.  ... 
doi:10.1016/j.mib.2005.08.013 pmid:16126452 fatcat:a4n3cy5nozhhjmhvlixxpq6nji

Design of the Persistence and Query Processing Facilities in O++: The Rationale

Rakesh Agrawal, Narain H. Gehani
1989 IEEE Data Engineering Bulletin  
To the best of our knowledge, none of the systems or research prototypes developed in the past exploits the flexibility offered by type inference.  ...  We want to show that these properties can be concisely captured in a language that has a more-or-less conventional type system for the representation of data, and that achieves its "object-orientedness  ...  Acknowledgements: We are grateful to Thom Fruhwirth, Sanjay Manchanda and James Wu for their comments on the contents of this paper.  ... 
dblp:journals/debu/AgrawalG89 fatcat:at5qbtk3ofadroqbe74xgaay5m

Adaptive Predicate Managers in Database Systems

Stefan Böttcher, Matthias Jarke, Joachim W. Schmidt
1986 Very Large Data Bases Conference  
A new algorithm for testing the satisfiability of predicates with universally quantified variables is described and shown to offer advantages over general-purpose theorem provers for many database applications  ...  First we demonstrate that the theorem provinr! applications have very similar basic requirements for predicate manaeement but differ in their need foti efficiency.  ...  ., for the conjunction "are there three different integer numbers between 10 and 13" : Acknowledgment This work was supported by the Deutsche Forschungsgemeinschaft under grant no.  ... 
dblp:conf/vldb/BottcherJS86 fatcat:ksqwyslc5naihd7ep5o7lrm57a
« Previous Showing results 1 — 15 out of 221 results