首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
您找到你想要的搜索结果了吗?
是的
没有找到

Oralce的二维表操作

–创建表并同时添加约束 –主键约束 –非空约束 –检查约束 –唯一约束 –外键约束 –简单的表创建和字段类型 –简单的创建语句: create table student( sno number(10) ,–primary key sname varchar2(100) ,–not null sage number(3), --check(sage<150 and sage>0) ssex char(4) ,–check(ssex=‘男’ or ssex=‘女’) sfav varchar2(500), sbirth date, sqq varchar2(30) --unique –constraints pk_student_sno primary key(sno)–添加主键约束 –constraints ck_student_sname check(sname is not null)–非空约束 –constraints ck_student_sage check(sage<150 and sage>0)–检查约束 –constraints ck_student_ssex check(ssex=‘男’ or ssex=‘女’)–检查约束 –constraints un_student_sqq unique(sqq)–唯一约束 ) –添加主键约束 alter table student add constraints pk_student_sno primary key(sno); alter table student drop constraints pk_student_sno; –添加非空约束 alter table student add constraints ck_student_sname check(sname is not null); alter table student drop constraints ck_student_sname; –添加检查约束 alter table student add constraints ck_student_sage check(sage<150 and sage>0) alter table student drop constraints ck_student_sage; –添加检查约束校验性别 alter table student add constraints ck_student_ssex check(ssex=‘男’ or ssex=‘女’) alter table student drop constraints ck_student_ssex; –添加唯一约束 alter table student add constraints un_student_sqq unique(sqq) select * from student drop table student

02

近似模型计数,Sparse XOR约束和最小距离

摘要:计算给定布尔公式的模型数量的问题具有许多应用,包括计算定量信息流中的确定性程序的泄漏。模型计数是一个很难的#P完全问题。出于这个原因,在过去十年中已经开发了许多近似计数器,提供了信心和准确性的正式保证。一种流行的方法是基于使用随机XOR约束的概念,粗略地,连续地将解决方案集减半,直到没有模型为止:这通过调用SAT求解器来检查。这个过程的有效性取决于SAT求解器处理XOR约束的能力,而XOR约束反过来又取决于这些约束的长度。我们研究在多大程度上可以采用稀疏的,因此短的约束,保证正确性。我们证明了结果边界与模型集的几何形状密切相关,特别是模型之间的最小汉明距离。我们在一些具体公式上评估我们的理论结果。根据我们的研究结果,我们最终讨论了在近似模型计数中改进现有技术水平的可能方向。

03
领券