规范化理论及其应用

本文阐述了利用模式分解使得一个规范化程度较低的关系转换成为一个或多个规范化程度较高的关系。最后通过一个实例说明规范化理论在应用时的要点和解决方法。     

XML规范化研究

讨论了在XML规范化过程中涉及到的DTD的关系表示和无损联接分解并给出了保持依赖分解的定义，     

关系数据库中关系模式的规范化过程

关系数据库的设计主要是关系模式的设计,一个关系数据库由多少个关系模式构成,每个关系模式包括多少个属性都是很讲究的。而关系规范化理论研究的正是关系模式中各个属性之间的依赖关系及其对关系模式的影响,因而规范化成为设计关系模式的重要标准。本文介绍了几种不同级别的范式,并通过实例讲述如何分解关系模式使其满足高一级范式的规范化过程。     

关系模式的一些性质和关系数据库模式的设计

本文在关系模式一些性质的研究中引入了半函数依赖概念,给出了一族范式,并讨论了它们的性质、相互间的关系、规范化程度以及分解算法,为关系数据库模式的设计提供了途径。     

结构建模代数方法在关系模式设计中的实现

运用结构建模代数方法研究关系数据库设计中关系模式的规范分解,介绍了借助结构建模生成层次清晰的属性集结构的原理,分析了生成后的层次关系所蕴涵的关键字信息、关系模式信息和约束信息.由此给出了一种构造规范化的数据库关系模式的新方法.以炼油调度基础数据库为对象,演示了方法的具体实现,从而通过应用实例证实了该方法的简洁性和有效性.     

结构建模代数方法在关系模式设计中的实现

运用结构建模数方法研究方法数据库设计中关系模式的规范分解，介绍了借助结构建模生成层次清晰的属性集结构的原理，分析了生成后的层次关系所蕴涵的关键字信息，关系模式信息和约束信息，由此给出了一种构造规范化的数据库关系模式的新方法，以炼油调度基础数据库为对象，演示了方法的具体实现，从而通过应用实例证实了该方法的简洁性有效性。     

GIS属性数据库的关系模式分解研究

讨论了GIS属性数据库设计中关系模式的构造原理和方法 .在GIS的数据库模式设计中 ,地理实体的关系模式分解是属性数据库应用设计的关键 .在对GIS属性数据库的特征分析基础上 ,讨论了地理实体的关系模式的分解表示及其应遵循的约束条件 ,即信息无损失连接特性和保持函数依赖特性 .在关系模式的分解表示中 ,将地理实体错综复杂的关系模式分解成一组简单的属性关系集合 .同时 ,为使分解过程中不出现信息丢失并维护地学数据的完整性约束 ,还讨论了关系模式分解应满足的信息无损失连接性的约束条件 ,以及关系模式分解所应保持的函数依赖的约束因素 .     

GIS属性数据库的关系模式分解研究

讨论了ＧＩＳ属性数据库设计中关系模式的构造原理和方法。在ＧＩＳ的数据库模式设计中，地理实体的关系模式分解是属性数据库应用设计的关键。在对ＧＩＳ属性数据库的特征分析基础上，讨论了地理实体的关系模式的分解表示及其应遵循的约束条件，即信息无损失连接特性和保持函数依赖特性。在关系模式的分解中，将地理实体错综复杂的关系模式分解成一组简单的属性关系集合。同时，为使分解过程中不出现信息丢失并维护地学数据的完整性     

P-增广矩阵推理与信息的智能分解挖掘

利用内P-增广矩阵推理、外P-增广矩阵推理与P-增广矩阵推理分别给出信息智能内-分解、信息智能外-分解与信息智能内-外分解, 给出它们的属性关系、内-分解生成的信息智能分解挖掘、外-分解生成的信息智能分解挖掘与内-外分解生成的信息智能分解挖掘、分解挖掘定理与分解挖掘准则,最后,给出信息智能分解挖掘的应用。     

Matlab在求候选关键字的替换算法中的应用

在关系模式分解和规范化过程中,候选关键字的确定具有重要意义。针对该问题利用Matlab对求给定关系模式R（u,F）全部候选关键字的替换算法进行了实现,测试结果表明,给出的Matlab函数代码简洁、运行速度较快,运行结果正确、直观且易于理解。     

罗马-教会法民事诉讼程序的特征及其历史地位

罗马-教会法民事诉讼程序在诉讼程序法中被称为“欧陆诉讼程序之母”,具有重要的历史地位。它缔造了现代民事诉讼程序的雏形,是诉讼程序理性化的开端。罗马-教会法民事诉讼程序以书面程序为原则、采行间接审理模式、严格的形式证据制度、诉讼程序断续迟延、发明了简易程序,形成正式-简易二元程序结构。它是英国衡平法诉讼程序及海事诉讼程序的渊源,还促进欧陆诉讼程序的统一和诉讼法学的形成。     

小额诉讼程序与速裁程序的比较及立法选择

小额诉讼程序和速裁程序皆为我国民事诉讼简易化程序改革之产物,两者既有相同之处又有相异之点。从司法改革趋势来看,速裁程序日益凸显其实践价值,小额诉讼程序则逐渐式微。但是,不能因速裁程序之＂兴盛＂,小额诉讼程序之＂没落＂,而在倡举速裁程序之时,完全摒弃小额诉讼程序之功能性价值。毕竟,小额诉讼程序与速裁程序并无本质上的冲突和矛盾,两者均有值得引鉴的内在机制。所以,改进和整合小额诉讼程序和速裁程序,将小额诉讼程序置于速裁程序之中,成为速裁程序一部分更为合理。     

家事诉讼制度基本范畴研究

家事诉讼是包括人事诉讼程序在内的,隶属于家事裁判制度的一种构建于家庭成员身份关系基础之上的诉讼程序。家事案件所具有的公益性及当事人之间的家庭亲情等特性,决定了家事诉讼目的不只是为了家事诉讼活动的顺利进行,而是希望通过单独的家事诉讼程序来达到妥善解决家庭纠纷、确保家庭和睦的目标;决定了国家检察机关也应参与家事诉讼程序;决定了家事诉讼应采用职权主义诉讼模式,对此诉讼模式的采用不仅可以在更大程度上利于法官能够较为适宜地控制家事诉讼的进程,且更能确保家事诉讼对实体公正价值的需求。     

民事诉讼审前准备程序研究

对审前准备程序及其程序价值进行分析厘定,认为我国现有的民事诉讼审前准备程序立法容易导致法官预断,职权色彩过重,缺乏对当事人诉讼权利的保护,未赋予审前准备活动程序上的效力。指出目前对于审前准备程序的规定存在四方面问题：对证据交换内容的规定过于原则化;当事人收集证据的保障措施不完善;审前准备程序适用范围过窄;缺乏对答辩失权的规定。提出我国构建审前准备程序应遵循的原则及措施,通过扩大简易程序的适用范围、设置答辩失权制度、完善现有证据制度、建立准备法官制度、完善调解及和解制度等途径,健全我国民事诉讼审前准备程序。     

一类二元表决程序的稳定性分析

在定义社会选择程序的稳定性判据的基础上，探讨了一类二元表决程序（修正案表决程序和顺序表决程序）的稳定性问题，同时对不同投票行为方式（诚实投票与策略投票）下该类二元表决程序的稳定性进行了比较分析．结果表明：在一般情况下，二元表决程序在策略投票方式下比在诚实投票方式下更趋于稳定     

刑事简易程序中被告人权益的保障

创设刑事简易程序是当今世界各国刑事诉讼的发展趋势。我国刑事诉讼法设计的简易程序没有保障被告人最低限度的公正标准,这导致简易程序的适用比例不高,与设立简易程序的初衷并不相符。应尽快完善立法规定,以便保障被告人的合法权益。     

我国民事司法鉴定程序之完善——以与勘验程序之比较为视角

我国现行法律设计的民事司法鉴定程序与勘验程序存在显著差异。但在理论上,民事司法鉴定程序与勘验程序在本质上具有一致性。法国及我国澳门地区民事诉讼法对民事司法鉴定程序与勘验程序关系的处理颇具特色,值得我们借鉴。通过参考勘验程序来重新设计我国民事司法鉴定程序,可以使鉴定人出庭的必要性大大降低,这有利于化解鉴定人不出庭的现实困境。     

控制混合方向误差的最优方法

假定有很多双尾备择假设需要同时检验,一旦零假设被拒绝,就需要进行方向性决策.在这种情况下,相较于常用的错误率FDR,混合方向错误率mdFDR更受欢迎,因为后者控制由所有拒绝所引起的第I类、第III类错误比例之和的期望.现有文献介绍了带方向决策的BH方法(dBH procedure) ,该方法是带有依据检验统计量的符号而作出方向决策的BH线性检验方法,可在显著水平α下控制mdFDR.除dBH方法外,由Sarkar和Zhou提出的一个方法(SZ procedure)也能控制mdFDR.他们从贝叶斯观点证明了其方法的最优性.本文从频率学派观点,即假定假设分布可从数据获知,来讨论SZ方法的最优性.根据讨论,SZ方法在控制mdFDR及正确地断言更多非零假设的意义上依然是最优的.模拟结果进一步验证了分析结果是成立的,并验证了SZ方法较之于dBH方法更为有效.     

Java中Oracle存储过程的使用方法研究

分析在Java中如何调用oracle存储过程来优化数据库访问并给出实例.具体包括使用存储过程的优点、使用存储过程与SQL语句的性能比较、如何使用带参数的存储过程等.最后给出在Java中使用oracle存储过程的几点建议.     

SQL SERVER扩展存储过程实现机制及应用方法初探

介绍SQL Server扩展存储过程的特点及其实现机制,并用一个程序实例阐述了在VC＋＋6．0开发环境下生成SQL Server扩展存储过程动态库框架、编写SQL Server扩展存储过程代码、添加SQL Server扩展存储过程到数据库中及调试SQL Server扩展存储过程的方法和步骤。