ER模型的逻辑表示途径

利用Answer set编程表示ER模型,从而为ER模型提供了一种新颖的逻辑表示途径。首先,完成ER模式的语法与语义定义;其次,利用Answer set编程实现ER模式的逻辑编程表示,并且这里的编程可自动实现;最后,完成以上表示的合理性证明。工作不仅克服了ER模型作为图形化工具的缺陷,使得它具有了自动推理能力,而且也为利用ER模型实现异构数据库之间的语义协作奠定了理论基础。     

提高教师政治思想素质是继续教育的首要任务

《中国教育改革和发展纲要》明确指出“振兴民族的希望在教育，振兴教育的希望在教师”，我国社会主义市场经济体制的建立和基础教育由应试教育向素质教育的转轨，都对教师的素质提出了新的更高的要求。而教育发展的实践证明，在教师素质的诸要素中，政治素质和道德素质界定着教师整体素质的高低和优劣．决定着教师工作的效益，影响着学生思想品德的形成。     

时尚慢生活

最近常被问。“买车了吗？”我点点头。“什么牌子？多少钱？”对方立刻坐直，身体前倾。“凤凰。340元。”“自行车呀？”失笑，坐回原样。“自行车不是车吗？”“是的是的。”问者有的大度地笑，有的则反问我，“有房有车的车难道是自行车？”     

“突然袭击”——步云乡

去年,四川步云乡尝试了乡长直选,引起了社会科学院“地方人大代表选举研究课题组”的专程前往。美国《时代周刊》在纪念中华人民共和国成立50周年特刊上也将步云直选列入50件大事之一。直选,这个村官们的“专利”应用在乡级政府的首席长官上,结果如何?近日,一位民间研究机构的专家带着一连串的疑问,再次走进步云乡,来了一次——     

社会学的历史学转向及历史社会学的兴起

长期以来,历史学和社会学一直处于各自为政、界限分明的状态。但二战以后,两者却在分别实现社会学转向和历史学转向的基础上逐步实现了新的融合,而这一新的融合直接导致的结果就是历史社会学(historical sociology)的产生。至今,历史社会学的真正内涵从来没有得到过清楚地表达,并且仍未获得制度化的学科地位,哪怕是分支学科的地位。学科地位合法性的争议,使我们对历史社会学的发展前景存有忧虑。     

柳宗元故乡今址辩

唐代大文学家、哲学家柳宗元的祖籍是唐代河东,这是史无争议的。但唐代河东、地域很大,且自唐至今,已有一千多年的历史,其间河东版图几经变迁,所辖的城镇村庄又发生过多次变革。或分化、或合并;或新生或消灭;或易新名,或复旧称。因此,柳宗元的祖籍究竟是今何县?何村?尚是历史悬案。目前众说纷纭。莫衷一是。这虽非重大学术问题,但考辩清楚,对了解     

日苏"北库页岛利权"之争

“北库页岛利权”问题 ,是第二次世界大战前及战中 ,日苏两国调整关系过程中的矛盾焦点。苏联在国力暂时软弱情况下 ,为换取日本撤军被迫签定“利权”合同。随着国力的增强 ,特别是二战爆发后日本急于“北守南进”,苏联要求解除“利权”合同 ,最后在日本处于战场极为不利的形势下 ,“利权”合同被解除。日苏“北库页岛利权”之争 ,实质上是该岛石油控制权之争。