Dependency theory e-learning tool

In this paper, we describe an e-learning tool that we have developed to assist University students studying Relational Schema design. The tool employs Expert System techniques to create a learning environment in which students can explore the concepts of dependency theory, and the normalization process. The tool is able to respond in an individualistic way to student input and allows students to construct their own learning environment and develop their understanding of the material at a pace that is controlled by the individual student. Our formative and summative tests indicate that the tool provides students with a different and valuable type of learning experience when compared with a traditional, textbook-based approach

An e-learning tool for database administration

In this paper, we describe an item of "intelligent" educational software that is intended to help students taking university computer science courses to understand the fundamentals of transaction scheduling. The software, implemented in PROLOG, empowers students to construct their own learning environment and is able to provide tailored forms of feedback to different types of learner. We describe the development and evaluation of the software, and we present details of the analysis of the results of our investigation into the effectiveness of the software as a teaching and learning tool. Our results suggest that our learning tool provides students with a different and valuable type of learning experience, which traditional methods do not provide

Protecting federated databases using a practical implementation of a formal RBAC policy

This paper describes the use of formally specified RBAC policies for protecting federated relational database systems that are accessed over a wide area network. The method that is described combines a formally specified RBAC policy with both temporal and locational constraints. It does not depend on any security mechanism supported by a specific DBMS and is thus portable across platforms

An e-learning tool for understanding schedule properties

In this paper, we describe an e-learning tool that we have developed to assist University students studying various modules on database systems. We use the acronym DTST (viz. a learning tool for Database Transaction Schedule Testing) to refer to our learning tool. DTST enables students to actively construct their own learning environment, it can respond in an individualistic way to student input, and it has a built-in web interface that makes it widely accessible. Field tests conducted on DTST suggest that it provides students with a different and valuable type of learning experience that traditional methods do not provide

An intelligent tutoring system for program semantics

In this paper, we describe an item of e-learning software that is intended to help students taking university computer science courses to understand the fundamentals of logic programming and deductive database semantics. The software is implemented in PROLOG and empowers students to explore their understanding of the semantics of logic programs and deductive databases. The software is also able to intelligently diagnose student misconceptions and includes a number of example programs/databases that permit students to test their understanding. We describe the development and evaluation of the software, and we present details of the analysis of the results of our investigation into the effectiveness of our e-learning tool. The results of our field study of the e-learning tool suggests that it of value in helpingstudents to understand program and database semantics

A database transaction scheduling tool in Prolog

In this paper, we describe an item of "intelligent" educational software that is intended to help students taking university computer science courses to understand the fundamentals of transaction scheduling. The software, implemented in PROLOG, empowers students to construct their own learning environment and is able to provide tailored forms of feedback to different types of learner. We describe the development and evaluation of the software, and we present details of the analysis of the results of our investigation into the effectiveness of the software as a teaching and learning tool. Our results suggest that our learning tool provides students with a different and valuable type of learning experience, which traditional methods do not provide

A logic programming e-learning tool for teaching database dependency theory

In this paper, we describe an "intelligent" tool for helping to teach the principles of database design. The software that we present uses PROLOG to implement a teaching tool with which students can explore the concepts of dependency theory, and the normalization process. Students are able to construct their own learning environment and can develop their understanding of the material at a pace that is controlled by the individual student

People v. Wheeler: California\u27s Answer to Misuse of the Peremptory Challenge

In People v. Wheeler, the California Supreme Court limited the scope of peremptory challenges. Under the decision, no juror may now be challenged from a jury panel on the basis of his group affiliation. Such exclusions were found to be violative of the representative cross-section requirement for impaneling an impartial jury. This Comment discusses the court\u27s rationale in deciding Wheeler. It then examines (1) whether the holding should be extended to civil litigation, (2) when a group becomes legally cognizable, (3) how the burden of proof may be met, and (4) what the role of the trial judge should be when misuse of peremptories is charged