The Realistic Review on Elementary School Mathematics Teaching Reform

It is of benefit to the development of the elementary school quality-oriented mathematics education to deepen the elementary school mathematics classroom teaching reform and review the fruits of classroom teaching. In this paper, the author, with his own teaching practice, has summarized and reviewed the fruits of elementary school classroom teaching reform in four respects： 1） ＂integration of theory with practice＂ should be highlighted in this reform; 2） the classroom teaching should focus on the improvement of students＂ ＂mathematical thinking ability＂;3） mathematics classroom teaching should conform to the reality of our daily life; and 4） mathematics classroom teaching should help the students to build the ＂mathematical model thinking＂.

On Enforcing Dyadic-type Homogeneous Binary Function Product Constraints in MatBase

Homogeneous binary function products are frequently encountered in the sub-universes modeled by databases,spanning from genealogical trees and sports to education and healthcare,etc.Their properties must be discovered and enforced by the software applications managing such data to guarantee plausibility.The(Elementary)Mathematical Data Model provides 17 types of dyadic-based homogeneous binary function product constraint categories.MatBase,an intelligent data and knowledge base management system prototype,allows database designers to simply declare them by only clicking corresponding checkboxes and automatically generates code for enforcing them.This paper describes the algorithms that MatBase uses for enforcing all 17 types of homogeneous binary function product constraint,which may also be employed by developers without access to MatBase.

On Software Application Database Constraint-driven Design and Development

This paper presents a methodology driven by database constraints for designing and developing(database)software applications.Much needed and with excellent results,this paradigm guarantees the highest possible quality of the managed data.The proposed methodology is illustrated with an easy to understand,yet complex medium-sized genealogy software application driven by more than 200 database constraints,which fully meets such expectations.

On Detecting and Enforcing the Non-Relational Constraints Associated to Dyadic Relations in MatBase

MatBase is a prototype data and knowledge base management expert intelligent system based on the Relational,Entity-Relationship,and(Elementary)Mathematical Data Models.Dyadic relationships are quite common in data modeling.Besides their relational-type constraints,they often exhibit mathematical properties that are not covered by the Relational Data Model.This paper presents and discusses the MatBase algorithm that assists database designers in discovering all non-relational constraints associated to them,as well as its algorithm for enforcing them,thus providing a significantly higher degree of data quality.